Tiny adjustment

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);