diff options
Diffstat (limited to 'libs/gtkmm2ext/gtkmm2ext/gtk_ui.h')
| -rw-r--r-- | libs/gtkmm2ext/gtkmm2ext/gtk_ui.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/libs/gtkmm2ext/gtkmm2ext/gtk_ui.h b/libs/gtkmm2ext/gtkmm2ext/gtk_ui.h index 49dd78a6d4..bba3fb6fdf 100644 --- a/libs/gtkmm2ext/gtkmm2ext/gtk_ui.h +++ b/libs/gtkmm2ext/gtkmm2ext/gtk_ui.h @@ -117,6 +117,7 @@ class UI : public Receiver, public AbstractUI<UIRequest> void popup_error (const std::string& text); void flush_pending (); void toggle_errors (); + void show_errors (); void touch_display (Touchable *); void set_tip (Gtk::Widget &w, const gchar *tip); void set_tip (Gtk::Widget &w, const std::string &tip); |