From 383e493fa0f450f5c097a0f03d9d426aa78ee4f6 Mon Sep 17 00:00:00 2001
From: Fabian Jakobs <fabian.jakobs@web.de>
Date: Tue, 25 Jan 2011 21:36:51 +0100
Subject: [PATCH] fire event when session changes

---
 lib/ace/editor.js | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/lib/ace/editor.js b/lib/ace/editor.js
index 26fbb1c2..efa1cb9a 100644
--- a/lib/ace/editor.js
+++ b/lib/ace/editor.js
@@ -122,6 +122,7 @@ var Editor =function(renderer, session) {
         if (this.session == session) return;
 
         if (this.session) {
+            var oldSession = this.session;
             this.session.removeEventListener("change", this.$onDocumentChange);
             this.session.removeEventListener("changeMode", this.$onDocumentModeChange);
             this.session.removeEventListener("changeTabSize", this.$onDocumentChangeTabSize);
@@ -172,6 +173,11 @@ var Editor =function(renderer, session) {
         this.onDocumentChangeAnnotation();
         this.renderer.scrollToRow(session.getScrollTopRow());
         this.renderer.updateFull();
+        
+        this._dispatchEvent("changeSession", {
+            session: session,
+            oldSession: oldSession
+        });
     };
 
     this.getSession = function() {