- virtual std::string get_widget_name() const = 0;
- virtual void set_widget_name (const std::string&) = 0;
- virtual int get_widget_state() = 0;
+ void avoid_prelight_on_style_changed (const Glib::RefPtr<Gtk::Style>& style, GtkWidget* widget);
+ void avoid_prelight_on_state_changed (Gtk::StateType old_state, GtkWidget* widget);