From 210aebe5e040f34248a050a96ea495ab3ff4a39c Mon Sep 17 00:00:00 2001 From: Pete Shadbolt Date: Tue, 17 Oct 2017 14:00:13 -0700 Subject: [PATCH] The tiny adjustment was bad --- static/scripts/editor.js | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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);