From 85749b38aa996947f3a9b3621be5641d9b286f50 Mon Sep 17 00:00:00 2001
From: Fabian Jakobs <fabian.jakobs@web.de>
Date: Thu, 13 May 2010 09:53:37 +0200
Subject: [PATCH] fire change events in the editor

---
 src/ace/Editor.js | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/ace/Editor.js b/src/ace/Editor.js
index 3d605239..a0e4aca1 100644
--- a/src/ace/Editor.js
+++ b/src/ace/Editor.js
@@ -360,6 +360,8 @@ ace.Editor = function(renderer, doc) {
         this.$blockScrolling = true;
         this.onCursorChange();
         this.$blockScrolling = false;
+
+        this.$dispatchEvent("changeOverwrite", {data: overwrite});
     };
 
     this.getOverwrite = function() {
@@ -376,6 +378,7 @@ ace.Editor = function(renderer, doc) {
 
         this.$selectionStyle = style;
         this.onSelectionChange();
+        this.$dispatchEvent("changeSelectionStyle", {data: style});
     };
 
     this.getSelectionStyle = function() {