X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Fui%2Fgui%2Fwindow-manager.h;h=ba0abced435848a43eac661b62e13da9fbfe0e38;hb=2b6f9b8c607743ea7324b2b7e9a3b3fe7afa5f4e;hp=3c5655ed2b35e8ca971718f345374f48ccdbe026;hpb=5023955f3e48b1b0a703a38d654467360c0794a6;p=pspp

diff --git a/src/ui/gui/window-manager.h b/src/ui/gui/window-manager.h
index 3c5655ed2b..ba0abced43 100644
--- a/src/ui/gui/window-manager.h
+++ b/src/ui/gui/window-manager.h
@@ -13,7 +13,7 @@ enum window_type
 struct editor_window
  {
   GtkWindow *window;      /* The top level window of the editor */
-  gchar *name;            /* The name of this editor */
+  gchar *name;            /* The name of this editor (UTF-8) */
   enum window_type type;
  } ;
 
@@ -22,9 +22,13 @@ struct editor_window * window_create (enum window_type type,
 
 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);