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   GtkWindow *window;      /* The top level window of the editor */
  16   gchar *name;            /* The name of this editor (UTF-8) */
  17   enum window_type type;
  18  } ;
  19
  20 struct editor_window * window_create (enum window_type type,
  21                                       const gchar *name);
  22
  23 const gchar * window_name (const struct editor_window *);
  24
  25 /* Set the name of this window based on FILENAME.
  26    FILENAME is in "filename encoding" */
  27 void window_set_name_from_filename (struct editor_window *e,
  28                                     const gchar *filename);
  29
  30 void default_window_name (struct editor_window *w);
  31
  32 void minimise_all_windows (void);
  33
  34
  35 #endif