diff --git a/static/scripts/editor.js b/static/scripts/editor.js index e66e3ce..6db126d 100644 --- a/static/scripts/editor.js +++ b/static/scripts/editor.js @@ -14,7 +14,7 @@ editor.orientations = [ editor.checkTimeOut = function() { editor.gridTimeOut += 1; - editor.grid.visible = editor.gridTimeOut < 10; + editor.grid.visible = editor.gridTimeOut < 5000; } editor.onFreeMove = function() { @@ -212,4 +212,4 @@ editor.localComplementation = function() { gui.serverMessage("Inverted neighbourhood of " + editor.selection + "."); }; -setInterval(editor.checkTimeOut, 1); +setInterval(editor.checkTimeOut, 100);