src/ui/gui/window-manager.h

   1 #ifndef WINDOW_MANAGER_H
   2 #define WINDOW_MANAGER_H
   3
   4 #include <gtk/gtk.h>
   5
   6 enum window_type
   7   {
   8     WINDOW_DATA,
   9     WINDOW_SYNTAX
  10   };
  11
  12
  13 struct editor_window
  14  {
  15   GtkWidget *window;      /* The top level window of the editor */
  16   gchar *name;            /* The name of this editor */
  17   enum window_type type;
  18  } ;
  19
  20 struct editor_window * window_create (enum window_type type,
  21                                       const gchar *name);
  22
  23
  24 GtkWindow * window_toplevel (const struct editor_window *);
  25
  26 const gchar * window_name (const struct editor_window *);
  27
  28 void window_set_name_from_filename (struct editor_window *e,
  29                                     const gchar *filename);
  30
  31 #endif