diff options
Diffstat (limited to 'libs/gtkmm2ext')
-rw-r--r-- | libs/gtkmm2ext/gtk_ui.cc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/libs/gtkmm2ext/gtk_ui.cc b/libs/gtkmm2ext/gtk_ui.cc index ee9d39c918..174d645d17 100644 --- a/libs/gtkmm2ext/gtk_ui.cc +++ b/libs/gtkmm2ext/gtk_ui.cc @@ -19,6 +19,7 @@ */ #include <cmath> +#include <cassert> #include <fcntl.h> #include <signal.h> #include <unistd.h> @@ -429,6 +430,9 @@ UI::toggle_errors () void UI::display_message (const char *prefix, gint prefix_len, RefPtr<TextBuffer::Tag> ptag, RefPtr<TextBuffer::Tag> mtag, const char *msg) { + assert(ptag); + assert(mtag); + RefPtr<TextBuffer> buffer (errors->text().get_buffer()); buffer->insert_with_tag(buffer->end(), prefix, ptag); |