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/Window.h | |
| parent | 1a111979e01a6081cbea69e40accebe16e6155e5 (diff) | |
GTK: highlight the bad symbol on parse errors
Diffstat (limited to 'tikzit/src/gtk/Window.h')
| -rw-r--r-- | tikzit/src/gtk/Window.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tikzit/src/gtk/Window.h b/tikzit/src/gtk/Window.h index e1f64ac..42e3588 100644 --- a/tikzit/src/gtk/Window.h +++ b/tikzit/src/gtk/Window.h @@ -42,6 +42,7 @@ GtkWidget *tikzPane; gulong clipboard_handler_id; + GtkTextTag *errorHighlightTag; // owned by tikzBuffer // Classes that manage parts of the window Menu *menu; |