diff options
Diffstat (limited to 'web')
| -rw-r--r-- | web/share/js/tools.js | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/web/share/js/tools.js b/web/share/js/tools.js index 26685cb4..63cbd509 100644 --- a/web/share/js/tools.js +++ b/web/share/js/tools.js @@ -131,7 +131,6 @@ export var tools = new function() { return { "setOnUp": function(el, delay, display_callback, execute_callback) { el.execution_timer = null; - el.activated = false; let clear_timer = function() { if (el.execution_timer) { @@ -144,7 +143,6 @@ export var tools = new function() { el.onmousedown = el.ontouchstart = function() { clear_timer(); - el.activated = true; }; el.onmouseup = el.ontouchend = function(event) { |