diff options
author | Alex Merry <dev@randomguy3.me.uk> | 2013-03-24 16:46:00 +0000 |
---|---|---|
committer | Alex Merry <dev@randomguy3.me.uk> | 2013-03-24 16:48:54 +0000 |
commit | d398fae121af7e46c9a3fa996ff596867a61cfdc (patch) | |
tree | 472efd07a4748562b97b4bfb5dd91da2a981f9a5 /tikzit/src/gtk/gtkhelpers.m | |
parent | 1a111979e01a6081cbea69e40accebe16e6155e5 (diff) |
GTK: highlight the bad symbol on parse errors
Diffstat (limited to 'tikzit/src/gtk/gtkhelpers.m')
-rw-r--r-- | tikzit/src/gtk/gtkhelpers.m | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/tikzit/src/gtk/gtkhelpers.m b/tikzit/src/gtk/gtkhelpers.m index b3a3cf7..e6b1aef 100644 --- a/tikzit/src/gtk/gtkhelpers.m +++ b/tikzit/src/gtk/gtkhelpers.m @@ -243,4 +243,12 @@ void widget_clear_error (GtkWidget *widget) { gtk_widget_modify_base (widget, GTK_STATE_NORMAL, NULL); } +void text_buffer_clear_tag (GtkTextBuffer *buffer, GtkTextTag *tag) { + GtkTextIter start; + GtkTextIter end; + gtk_text_buffer_get_start_iter (buffer, &start); + gtk_text_buffer_get_end_iter (buffer, &end); + gtk_text_buffer_remove_tag (buffer, tag, &start, &end); +} + // vim:ft=objc:ts=8:et:sts=4:sw=4 |