From 629503252de51f3a95ae3dd19ef837012eea9fc2 Mon Sep 17 00:00:00 2001 From: "jakob.stendahl" Date: Mon, 5 Dec 2022 20:24:23 +0100 Subject: Add another builtin, and remove a debug print --- src_frontend/stores/IDEStore.js | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'src_frontend/stores/IDEStore.js') 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); -- cgit v1.2.3