From 07fb731b215a560bdc0a89a1fd5c199d910034a3 Mon Sep 17 00:00:00 2001
From: Devaev Maxim <mdevaev@gmail.com>
Date: Sun, 12 Jul 2020 09:05:38 +0300
Subject: [PATCH] partial fix for jumping slider

---
 web/share/js/tools.js | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/web/share/js/tools.js b/web/share/js/tools.js
index e9de1187..5bd41548 100644
--- a/web/share/js/tools.js
+++ b/web/share/js/tools.js
@@ -126,10 +126,11 @@ export var tools = new function() {
 		};
 
 		el.onmouseup = el.ontouchend = function(event) {
+			let value = el.value;
 			event.preventDefault();
 			clear_timer();
 			el.execution_timer = setTimeout(function() {
-				execute_callback(el.value);
+				execute_callback(value);
 			}, delay);
 		};
 	};