From cbdec82e22f14edf6d78fa1dc62e1c2fc5f3f12f Mon Sep 17 00:00:00 2001 From: Alex Beregszaszi Date: Mon, 23 Jan 2017 13:43:52 +0000 Subject: [PATCH] Rename changed to contentChanged --- src/app.js | 2 +- src/app/debugger.js | 2 +- src/app/editor.js | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/src/app.js b/src/app.js index d217683982..dd63f92233 100644 --- a/src/app.js +++ b/src/app.js @@ -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) diff --git a/src/app/debugger.js b/src/app/debugger.js index 3dbe103b6c..923facd599 100644 --- a/src/app/debugger.js +++ b/src/app/debugger.js @@ -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() }) diff --git a/src/app/editor.js b/src/app/editor.js index 0eb8663b25..7db3a0fb51 100644 --- a/src/app/editor.js +++ b/src/app/editor.js @@ -168,7 +168,7 @@ function Editor (doNotLoadStorage, storage) { event.trigger('sessionSwitched', []) editor.getSession().on('change', function () { - event.trigger('changed', []) + event.trigger('contentChanged', []) }) })