- 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 bool key_press(unsigned, unsigned);
- virtual bool key_release(unsigned, unsigned);
- virtual bool character(wchar_t);
- virtual void focus_out();
- virtual bool navigate(Navigation);
+ 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;