|
@@ -14,7 +14,7 @@ editor.orientations = [ |
|
|
|
|
|
|
|
|
editor.checkTimeOut = function() { |
|
|
editor.checkTimeOut = function() { |
|
|
editor.gridTimeOut += 1; |
|
|
editor.gridTimeOut += 1; |
|
|
editor.grid.visible = editor.gridTimeOut < 10; |
|
|
|
|
|
|
|
|
editor.grid.visible = editor.gridTimeOut < 5000; |
|
|
} |
|
|
} |
|
|
|
|
|
|
|
|
editor.onFreeMove = function() { |
|
|
editor.onFreeMove = function() { |
|
@@ -212,4 +212,4 @@ editor.localComplementation = function() { |
|
|
gui.serverMessage("Inverted neighbourhood of " + editor.selection + "."); |
|
|
gui.serverMessage("Inverted neighbourhood of " + editor.selection + "."); |
|
|
}; |
|
|
}; |
|
|
|
|
|
|
|
|
setInterval(editor.checkTimeOut, 1); |
|
|
|
|
|
|
|
|
setInterval(editor.checkTimeOut, 100); |