Defer widget rebuild to just before they are rendered

[libs/gltk.git] / source / slider.cpp

diff --git a/source/slider.cpp b/source/slider.cpp
index 1e763c639bf5309fba69d3a3ce3e680aba97eff1..5034b2475d8c46f20e4e09f2fe626c69c196d19a 100644 (file)
--- a/source/slider.cpp
+++ b/source/slider.cpp
@@ -31,7 +31,7 @@ void Slider::set_value(double v)
        if(value!=old_value)
        {
                signal_value_changed.emit(value);
-               rebuild();
+               mark_rebuild();
        }
 }