- Widget *get_child_at(int, int);
- Widget *get_descendant_at(int, int);
+ Widget *get_child_at(int, int) const;
+ Widget *get_descendant_at(int, int) const;
+ void raise(Widget &);
+
+protected:
+ void set_pointer_focus(Widget *);
+ void set_input_focus(Widget *);
+public:
+ Widget *get_input_focus() const { return input_focus; }
+ Widget *get_final_input_focus() const;