pintos-os.org Git - pspp/blob - src/ui/gui/window-manager.h

   1 /* PSPPIRE - a graphical user interface for PSPP.
   2    Copyright (C) 2007  Free Software Foundation
   3
   4    This program is free software: you can redistribute it and/or modify
   5    it under the terms of the GNU General Public License as published by
   6    the Free Software Foundation, either version 3 of the License, or
   7    (at your option) any later version.
   8
   9    This program is distributed in the hope that it will be useful,
  10    but WITHOUT ANY WARRANTY; without even the implied warranty of
  11    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  12    GNU General Public License for more details.
  13
  14    You should have received a copy of the GNU General Public License
  15    along with this program.  If not, see <http://www.gnu.org/licenses/>. */
  16
  17
  18 #ifndef WINDOW_MANAGER_H
  19 #define WINDOW_MANAGER_H
  20
  21 #include <gtk/gtk.h>
  22
  23 enum window_type
  24   {
  25     WINDOW_DATA,
  26     WINDOW_SYNTAX,
  27     WINDOW_OUTPUT
  28   };
  29
  30
  31 struct editor_window
  32  {
  33   GtkWindow *window;      /* The top level window of the editor */
  34   gchar *name;            /* The name of this editor (UTF-8) */
  35   enum window_type type;
  36  } ;
  37
  38 struct editor_window * window_create (enum window_type type,
  39                                       const gchar *name);
  40
  41 const gchar * window_name (const struct editor_window *);
  42
  43 /* Set the name of this window based on FILENAME.
  44    FILENAME is in "filename encoding" */
  45 void window_set_name_from_filename (struct editor_window *e,
  46                                     const gchar *filename);
  47
  48 void default_window_name (struct editor_window *w);
  49
  50 void minimise_all_windows (void);
  51
  52
  53 #endif