diff options
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; |