diff --git a/static/scripts/editor.js b/static/scripts/editor.js index 472a732..e66e3ce 100644 --- a/static/scripts/editor.js +++ b/static/scripts/editor.js @@ -212,4 +212,4 @@ editor.localComplementation = function() { gui.serverMessage("Inverted neighbourhood of " + editor.selection + "."); }; -setInterval(editor.checkTimeOut, 500); +setInterval(editor.checkTimeOut, 1);