void grab_pointer();
void ungrab_pointer();
void request_animation(const Time::TimeDelta &);
+ void rebuild_needed();
};
std::list<Child *> children;
Widget *input_focus;
Widget *saved_input_focus;
Widget *touch_focus;
+ bool children_rebuild_needed;
Container();
public:
void raise(Widget &);
protected:
- void set_pointer_focus(Widget *);
+ void set_pointer_focus(Widget *, bool = false);
void set_input_focus(Widget *);
public:
Widget *get_input_focus() const { return input_focus; }
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);