X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fwindows-menu.c;h=4659259fce3c5433c2d4946d34eb30558a232a33;hb=96994a54e60e9c95b8bba54c2281acf7059b1203;hp=6974bc65be33c0ad14ac85f2345cf1b7fe9cd0dc;hpb=369c24f1d085a41ec274ebae5fc198fcee567653;p=pspp

diff --git a/src/ui/gui/windows-menu.c b/src/ui/gui/windows-menu.c
index 6974bc65be..4659259fce 100644
--- a/src/ui/gui/windows-menu.c
+++ b/src/ui/gui/windows-menu.c
@@ -97,7 +97,7 @@ repopulate_windows_menu (GObject *inst, gchar *name, gpointer data)
 
   gtk_menu_attach (GTK_MENU (menu), minimize, 0, 1, 0, 1);
 
-  if (PSPPIRE_DATA_WINDOW_TYPE == G_OBJECT_TYPE (toplevel) )
+  if (PSPPIRE_DATA_WINDOW_TYPE == G_OBJECT_TYPE (toplevel))
     {
       gtk_menu_attach (GTK_MENU (menu), split, 0, 1, 1, 2);
       g_signal_connect_swapped (split, "toggled",