@ -575,7 +575,7 @@ var run = function () {
compileTimeout = window.setTimeout(runCompiler, 300)
}
editor.event.register('changed', editorOnChange)
editor.event.register('contentChanged', editorOnChange)
// in order to save the file when switching
editor.event.register('sessionSwitched', editorOnChange)
@ -27,7 +27,7 @@ function Debugger (id, editor, compiler, executionContextEvent, switchToFile, of
})
// unload if a file has changed (but not if tabs were switched)
editor.event.register('changed', function () {
editor.event.register('contentChanged', function () {
self.debugger.unLoad()
@ -168,7 +168,7 @@ function Editor (doNotLoadStorage, storage) {
event.trigger('sessionSwitched', [])
editor.getSession().on('change', function () {
event.trigger('changed', [])
event.trigger('contentChanged', [])