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

diff --git a/src/ui/gui/window-manager.h b/src/ui/gui/window-manager.h
index 3c5655ed..994cdbe2 100644
--- a/src/ui/gui/window-manager.h
+++ b/src/ui/gui/window-manager.h
@@ -25,6 +25,8 @@ const gchar * window_name (const struct editor_window *);
 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);