Whitespace changes only.
[pspp] / src / ui / gui / windows-menu.c
index 6974bc65be33c0ad14ac85f2345cf1b7fe9cd0dc..4659259fce3c5433c2d4946d34eb30558a232a33 100644 (file)
@@ -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",