X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fwindows-menu.c;h=b6ae962b62ac89392d5060616a4cd76235826796;hb=ceaed4a17cb3b0a14c89f10b72a636f94af97e7a;hp=4659259fce3c5433c2d4946d34eb30558a232a33;hpb=96994a54e60e9c95b8bba54c2281acf7059b1203;p=pspp diff --git a/src/ui/gui/windows-menu.c b/src/ui/gui/windows-menu.c index 4659259fce..b6ae962b62 100644 --- a/src/ui/gui/windows-menu.c +++ b/src/ui/gui/windows-menu.c @@ -90,8 +90,6 @@ 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 (); @@ -99,6 +97,7 @@ repopulate_windows_menu (GObject *inst, gchar *name, gpointer data) 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);