Rename switched to sessionSwitched

src/app.js

@@ -277,7 +277,7 @@ var run = function () {
     return false
   })
 
-  editor.event.register('switched', updateFiles)
+  editor.event.register('sessionSwitched', updateFiles)
 
   function switchToFile (file) {
     editor.setCacheFile(file)
@@ -577,7 +577,7 @@ var run = function () {
 
   editor.event.register('changed', editorOnChange)
   // in order to save the file when switching
-  editor.event.register('switched', editorOnChange)
+  editor.event.register('sessionSwitched', editorOnChange)
 
   $('#compile').click(function () {
     runCompiler()

src/app/editor.js

@@ -165,7 +165,7 @@ function Editor (doNotLoadStorage, storage) {
 
   // Do setup on initialisation here
   editor.on('changeSession', function () {
-    event.trigger('switched', [])
+    event.trigger('sessionSwitched', [])
 
     editor.getSession().on('change', function () {
       event.trigger('changed', [])