- virtual void pointer_leave();
- virtual void touch_press(int, int, unsigned);
- virtual void touch_release(int, int, unsigned);
- virtual void touch_motion(int, int, unsigned);
- virtual void key_press(unsigned, unsigned);
- virtual void key_release(unsigned, unsigned);
- virtual void character(wchar_t);
- virtual void focus_out();
+ void pointer_leave() override;
+ void touch_press(int, int, unsigned) override;
+ void touch_release(int, int, unsigned) override;
+ void touch_motion(int, int, unsigned) override;
+ bool key_press(unsigned, unsigned) override;
+ bool key_release(unsigned, unsigned) override;
+ bool character(wchar_t) override;
+ void focus_in() override;
+ void focus_out() override;
+ bool navigate(Navigation) override;
+ void animate(const Time::TimeDelta &) override;