- void key_press(unsigned, unsigned, wchar_t);
- void button_press(int, int, unsigned, unsigned);
- void pointer_motion(int, int);
+ void key_press(unsigned);
+ template<typename T>
+ T *use_tool_with_selected_objects();
+ template<typename T>
+ T *use_tool();
+ void use_tool(Tool *);
+ void use_select_tool();
+ void button_press(unsigned);