X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fwindows-menu.c;h=b6ae962b62ac89392d5060616a4cd76235826796;hb=f5dd6243820dbcd19c1d3201436fc01fffc475e5;hp=6974bc65be33c0ad14ac85f2345cf1b7fe9cd0dc;hpb=3dd0f6ae0d5eb73a2270a243e443c4ae03c2c16e;p=pspp diff --git a/src/ui/gui/windows-menu.c b/src/ui/gui/windows-menu.c index 6974bc65be..b6ae962b62 100644 --- a/src/ui/gui/windows-menu.c +++ b/src/ui/gui/windows-menu.c @@ -90,15 +90,14 @@ repopulate_windows_menu (GObject *inst, gchar *name, gpointer data) GtkWindow *toplevel = g_object_get_data (G_OBJECT (mi), "toplevel"); GtkWidget *minimize = gtk_menu_item_new_with_mnemonic (_("_Minimize all Windows")); - GtkWidget *split = gtk_check_menu_item_new_with_mnemonic (_("_Split")); - GtkWidget *sep = gtk_separator_menu_item_new (); 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)) { + GtkWidget *split = gtk_check_menu_item_new_with_mnemonic (_("_Split")); gtk_menu_attach (GTK_MENU (menu), split, 0, 1, 1, 2); g_signal_connect_swapped (split, "toggled", G_CALLBACK (toggle_split_window), toplevel);