diff options
Diffstat (limited to 'web')
| -rw-r--r-- | web/share/js/tools.js | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/web/share/js/tools.js b/web/share/js/tools.js index 63cbd509..b8045f62 100644 --- a/web/share/js/tools.js +++ b/web/share/js/tools.js @@ -139,14 +139,14 @@ export var tools = new function() { } }; - el.oninput = el.onchange = () => display_callback(el.value); + el.oninput = el.onchange = () => display_callback(self.slider.getValue(el)); el.onmousedown = el.ontouchstart = function() { clear_timer(); }; el.onmouseup = el.ontouchend = function(event) { - let value = el.value; + let value = self.slider.getValue(el); event.preventDefault(); clear_timer(); el.execution_timer = setTimeout(function() { |