improved clip media replacing

2018-08-05 14:27:12 +10:00
parent 3d2534a299
commit c6571d7f99
5 changed files with 12 additions and 79 deletions
@@ -44,7 +44,10 @@ double LabelSlider::value() {

 void LabelSlider::set_default_value(double v) {
    default_value = v;
-    if (!set) set_value(v);
+	if (!set) {
+		set_value(v);
+		set = false;
+	}
 }

 void LabelSlider::set_minimum_value(double v) {