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

diff --git a/src/ui/gui/window-manager.h b/src/ui/gui/window-manager.h
index ee137dbc48..ba0abced43 100644
--- a/src/ui/gui/window-manager.h
+++ b/src/ui/gui/window-manager.h
@@ -12,20 +12,24 @@ enum window_type
 
 struct editor_window
  {
-  GtkWidget *window;      /* The top level window of the editor */
-  gchar *name;            /* The name of this editor */
+  GtkWindow *window;      /* The top level window of the editor */
+  gchar *name;            /* The name of this editor (UTF-8) */
   enum window_type type;
  } ;
 
 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 *);
 
+/* Set the name of this window based on FILENAME.
+   FILENAME is in "filename encoding" */
 void window_set_name_from_filename (struct editor_window *e,
 				    const gchar *filename);
 
+void default_window_name (struct editor_window *w);
+
+void minimise_all_windows (void);
+
+
 #endif