diff options
Diffstat (limited to 'web')
| -rw-r--r-- | web/share/js/tools.js | 18 |
1 files changed, 15 insertions, 3 deletions
diff --git a/web/share/js/tools.js b/web/share/js/tools.js index 79dbd432..18f06a23 100644 --- a/web/share/js/tools.js +++ b/web/share/js/tools.js @@ -131,6 +131,8 @@ export var tools = new function() { return { "setOnUpDelayed": function(el, delay, execute_callback) { el.__execution_timer = null; + el.__pressed = false; + el.__postponed = null; let clear_timer = function() { if (el.__execution_timer) { @@ -141,6 +143,7 @@ export var tools = new function() { el.onmousedown = el.ontouchstart = function() { clear_timer(); + el.__pressed = true; }; el.onmouseup = el.ontouchend = function(event) { @@ -148,6 +151,11 @@ export var tools = new function() { event.preventDefault(); clear_timer(); el.__execution_timer = setTimeout(function() { + el.__pressed = false; + if (el.__postponed !== null) { + self.slider.setValue(el, el.__postponed); + el.__postponed = null; + } execute_callback(value); }, delay); }; @@ -165,9 +173,13 @@ export var tools = new function() { }, "setValue": function(el, value) { if (el.value != value) { - el.value = value; - if (el.__display_callback) { - el.__display_callback(value); + if (el.__pressed) { + el.__postponed = value; + } else { + el.value = value; + if (el.__display_callback) { + el.__display_callback(value); + } } } }, |