X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fwindow-manager.h;h=3c5655ed2b35e8ca971718f345374f48ccdbe026;hb=7579fa32442ac9b623043f8cd995d9b6aa550e51;hp=ee137dbc48a00f888531900a14d9dba02bd72e60;hpb=a486e7cbf4f95d19bb208796e4c92a040cf48f65;p=pspp-builds.git

diff --git a/src/ui/gui/window-manager.h b/src/ui/gui/window-manager.h
index ee137dbc..3c5655ed 100644
--- a/src/ui/gui/window-manager.h
+++ b/src/ui/gui/window-manager.h
@@ -12,7 +12,7 @@ enum window_type
 
 struct editor_window
  {
-  GtkWidget *window;      /* The top level window of the editor */
+  GtkWindow *window;      /* The top level window of the editor */
   gchar *name;            /* The name of this editor */
   enum window_type type;
  } ;
@@ -20,12 +20,12 @@ struct editor_window
 struct editor_window * window_create (enum window_type type,
 				      const gchar *name);
 
-
-GtkWindow * window_toplevel (const struct editor_window *);
-
 const gchar * window_name (const struct editor_window *);
 
 void window_set_name_from_filename (struct editor_window *e,
 				    const gchar *filename);
 
+void minimise_all_windows (void);
+
+
 #endif