From 30f97d328a0def7ef82d21deb657d695a0aef0b2 Mon Sep 17 00:00:00 2001
From: Pete Shadbolt <pete@psiquantum.com>
Date: Tue, 17 Oct 2017 12:56:41 -0700
Subject: [PATCH] Tiny adjustment

---
 static/scripts/editor.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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