X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fwindow-manager.c;h=8ecce98c7c1a2e3581341aac7be78fd216fe1e62;hb=2680a3ae85ffb2c15d2a81e48f1904e029170222;hp=5fcf39dfac6d04374bdc5268d85289c18f138418;hpb=a486e7cbf4f95d19bb208796e4c92a040cf48f65;p=pspp-builds.git

diff --git a/src/ui/gui/window-manager.c b/src/ui/gui/window-manager.c
index 5fcf39df..8ecce98c 100644
--- a/src/ui/gui/window-manager.c
+++ b/src/ui/gui/window-manager.c
@@ -45,7 +45,7 @@ window_create (enum window_type type, const gchar *name)
   set_window_name (e, name);
 
 
-  gtk_window_set_icon_from_file (GTK_WINDOW(e->window),
+  gtk_window_set_icon_from_file (GTK_WINDOW (e->window),
 				 PKGDATADIR "/psppicon.png", 0);
 
   g_signal_connect (e->window, "destroy", G_CALLBACK (deregister), NULL);
@@ -86,7 +86,7 @@ set_window_name (struct editor_window *e,
       g_assert_not_reached ();
     }
 
-  gtk_window_set_title (GTK_WINDOW(e->window), title);
+  gtk_window_set_title (GTK_WINDOW (e->window), title);
 
   g_free (title);
 }
@@ -114,7 +114,7 @@ window_set_name_from_filename (struct editor_window *e,
     }
   g_free (basename);
 
-  gtk_window_set_title (GTK_WINDOW(e->window), title);
+  gtk_window_set_title (GTK_WINDOW (e->window), title);
 
   g_free (title);
 }
@@ -123,7 +123,7 @@ window_set_name_from_filename (struct editor_window *e,
 GtkWindow *
 window_toplevel (const struct editor_window *e)
 {
-  return GTK_WINDOW(e->window);
+  return GTK_WINDOW (e->window);
 }
 
 const gchar *