Re-added Data->Insert_Variable menu item

[pspp-builds.git] / src / ui / gui / window-manager.h

diff --git a/src/ui/gui/window-manager.h b/src/ui/gui/window-manager.h
index ee137dbc48a00f888531900a14d9dba02bd72e60..3c5655ed2b35e8ca971718f345374f48ccdbe026 100644 (file)
--- 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