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

diff --git a/src/ui/gui/window-manager.h b/src/ui/gui/window-manager.h
index 994cdbe21e..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,6 +22,8 @@ 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);