diff options
Diffstat (limited to 'libs/gtkmm2ext/gtkmm2ext/gtk_ui.h')
| -rw-r--r-- | libs/gtkmm2ext/gtkmm2ext/gtk_ui.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/libs/gtkmm2ext/gtkmm2ext/gtk_ui.h b/libs/gtkmm2ext/gtkmm2ext/gtk_ui.h index be0dabb2e5..4b87a46313 100644 --- a/libs/gtkmm2ext/gtkmm2ext/gtk_ui.h +++ b/libs/gtkmm2ext/gtkmm2ext/gtk_ui.h @@ -143,7 +143,8 @@ public: void flush_pending (float timeout = 0); void toggle_errors (); void show_errors (); - void dump_errors (std::ostream&); + void dump_errors (std::ostream&, size_t limit = 0); + void clear_errors () { error_stack.clear (); } void touch_display (Touchable *); void set_tip (Gtk::Widget &w, const gchar *tip); void set_tip (Gtk::Widget &w, const std::string &tip); |