+public:
+ virtual ~Widget();
+
+ void set_position(int, int);
+ void set_size(unsigned, unsigned);
+ virtual void autosize() { }
+ void set_geometry(const Geometry &);
+ const Geometry &get_geometry() const { return geom; }
+
+ /**
+ Sets the widget style. The final style name is constructed by concatenating
+ the widget class and the style name with a dash.
+ */
+ void set_style(const std::string &);
+ const Style &get_style() const { return *style; }
+
+ void set_tooltip(const std::string &);
+ const std::string &get_tooltip() const { return tooltip; }
+
+ void set_visible(bool);
+ bool is_visible() const { return visible; }
+ void set_focusable(bool);
+ bool is_focusable() const { return focusable; }
+ void set_focus();
+
+ void render() const;
+protected:
+ virtual void render_special(const Part &) const { }
+
+public:
+ // Events
+ virtual void button_press(int, int, unsigned) { }
+ virtual void button_release(int, int, unsigned) { }
+ virtual void pointer_motion(int, int) { }
+ virtual void pointer_enter();
+ virtual void pointer_leave();
+ virtual void key_press(unsigned, unsigned, wchar_t) { }
+ virtual void key_release(unsigned, unsigned) { }
+ virtual void focus_in();
+ virtual void focus_out();
+
+protected:
+ /**
+ Returns the name of the widget class. Used for style lookup.
+ */