diff options
Diffstat (limited to 'src_frontend')
-rw-r--r-- | src_frontend/stores/IDEStore.js | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src_frontend/stores/IDEStore.js b/src_frontend/stores/IDEStore.js index ce4308c..1a868a4 100644 --- a/src_frontend/stores/IDEStore.js +++ b/src_frontend/stores/IDEStore.js @@ -56,8 +56,10 @@ export function saveCode(fn) { if (get(codeEditorView) == null) { return; } console.debug("emitting editor:save"); authorizedSocket.emit("editor:save", get(state).mode, get(codeEditorView).state.doc.toString(), res => { - console.debug("save:code callback", res); - if (!res.success) { notifErr(res); }; + if (!res.success) { + console.error("save:code callback", res); + notifErr(res); + }; if (fn != null) { fn(res) } }); codeEditorHasChanges.set(false); |