private:
void tick();
void key_press(unsigned, unsigned, wchar_t);
void key_release(unsigned, unsigned);
void button_press(int, int, unsigned, unsigned);
void pointer_motion(int, int);
private:
void tick();
void key_press(unsigned, unsigned, wchar_t);
void key_release(unsigned, unsigned);
void button_press(int, int, unsigned, unsigned);
void pointer_motion(int, int);