- void button_press(int, int, unsigned);
- void button_release(int, int, unsigned);
+ void set_icon(const GL::Texture2D *);
+ virtual void button_press(int, int, unsigned);
+ virtual void button_release(int, int, unsigned);
+ virtual void pointer_motion(int, int);