Defer widget rebuild to just before they are rendered

[libs/gltk.git] / source / container.h

diff --git a/source/container.h b/source/container.h
index d98ce394c0506d9ad522c153aad1f875d10efd81..a80cc4e214551cda4348ee10a2986024b030684c 100644 (file)
--- a/source/container.h
+++ b/source/container.h
@@ -34,6 +34,7 @@ protected:
                void grab_pointer();
                void ungrab_pointer();
                void request_animation(const Time::TimeDelta &);
+               void rebuild_needed();
        };
 
        std::list<Child *> children;
@@ -44,6 +45,7 @@ protected:
        Widget *input_focus;
        Widget *saved_input_focus;
        Widget *touch_focus;
+       bool children_rebuild_needed;
 
        Container();
 public:
@@ -72,6 +74,9 @@ public:
 private:
        void check_animation_interval();
 
+protected:
+       virtual void rebuild_hierarchy();
+
 public:
        virtual void button_press(int, int, unsigned);
        virtual void button_release(int, int, unsigned);