X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fsyntax-editor.h;h=0d366831b988fc817fa41689b71d4d8d732e1a25;hb=9cb85c5eb1b0e041f4b7b7f1c5ab9cce55de524f;hp=038e10624e439d74940a0ebffed5a4e1c1a52480;hpb=a8a5c3b5634a6255d1e0a057fc47c5a931b8492a;p=pspp

diff --git a/src/ui/gui/syntax-editor.h b/src/ui/gui/syntax-editor.h
index 038e10624e..0d366831b9 100644
--- a/src/ui/gui/syntax-editor.h
+++ b/src/ui/gui/syntax-editor.h
@@ -23,14 +23,23 @@
 
 #include <gtk/gtk.h>
 
+#include "window-manager.h"
 
+struct lexer;
 
 struct syntax_editor
 {
-  GtkWidget *window;      /* The top level window of the editor */
+  struct editor_window parent;
   GtkTextBuffer *buffer;  /* The buffer which contains the text */
-  gchar *name;            /* The name of this syntax buffer/editor */
+  struct lexer *lexer;    /* Lexer to parse syntax */
 };
 
 
+struct syntax_editor * new_syntax_editor (void);
+
+void new_syntax_window (GtkMenuItem *, gpointer);
+
+void open_syntax_window (GtkMenuItem *, gpointer);
+
+
 #endif