virtual void button_press(int, int, unsigned);
virtual void button_release(int, int, unsigned);
virtual void pointer_motion(int, int);
+private:
+ Widget *get_pointer_target(int, int);
+public:
virtual void pointer_leave();
virtual void key_press(unsigned, unsigned);
virtual void key_release(unsigned, unsigned);