improved slider set range

1 files changed, 9 insertions, 1 deletions

diff --git a/web/share/js/tools.js b/web/share/js/tools.js
index 05ba7f0a..f2805fc3 100644
--- a/web/share/js/tools.js
+++ b/web/share/js/tools.js
@@ -184,8 +184,16 @@ export var tools = new function() {
 					el.__display_callback = display_callback;
 				}
 			},
-			"setValue": function(el, value) {
+			"setRange": function(el, min, max) {
+				let value = el.value;
+				el.min = min;
+				el.max = max;
 				if (el.value != value) {
+					self.slider.setValue(el, el.value, true);
+				}
+			},
+			"setValue": function(el, value, force=false) {
+				if (el.value != value || force) {
 					if (el.__pressed) {
 						el.__postponed = value;
 					} else {