diff options
| author | Maxim Devaev <[email protected]> | 2021-10-18 09:15:57 +0300 |
|---|---|---|
| committer | Maxim Devaev <[email protected]> | 2021-10-18 09:15:57 +0300 |
| commit | 34cac8a4c711fa0dbd887981a240b5a125bc4c06 (patch) | |
| tree | 70eeb897582e001275c06b39798328fdea0b6f84 /web | |
| parent | e2873032eedb341a9a21686ad216ee87bf114f4d (diff) | |
removed unused code
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) { |