+ void rebuild_special(const Part &) override;
+ void render_special(const Part &, GL::Renderer &) const override;
+
+public:
+ void touch_press(int, int, unsigned) override;
+ bool key_press(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;
+private:
+ void on_size_change() override;
+ void on_style_change() override;
+
+ void move_edit_position(Navigation, bool);
+ void adjust_edit_position_for_change(std::size_t, std::ptrdiff_t);
+ void set_edit_position(std::size_t, bool);
+ void erase_selection(bool);
+ void check_cursor_blink();
+ void check_view_range();
+ void slider_value_changed(double);