several improvements

2018-10-13 13:08:20 +11:00
parent 2e577330b9
commit a285f10e6a
24 changed files with 179 additions and 57 deletions
@@ -75,7 +75,7 @@ double LabelSlider::value() {
 }

 void LabelSlider::set_default_value(double v) {
-	if (internal_value == default_value) set = false; // TODO: CONTROVERSIAL - may be undesirable behaviour
+	// if (internal_value == default_value) set = false; TODO: CONTROVERSIAL - disabled bc may lead undesirable behaviour

    default_value = v;
 	if (!set) {