X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fhelp-menu.c;h=46d403246539c20ec1a9a84fd7c86e2c27eb2d88;hb=b78aa5f6c822c055d1c3e98cb868c17070402799;hp=68cd1047047993e3c88d934fa279c148b9aa792c;hpb=844405312afa2bb2a5f9b463d658b34096ca570a;p=pspp

diff --git a/src/ui/gui/help-menu.c b/src/ui/gui/help-menu.c
index 68cd104704..46d4032465 100644
--- a/src/ui/gui/help-menu.c
+++ b/src/ui/gui/help-menu.c
@@ -122,9 +122,16 @@ create_help_menu (GtkWindow *toplevel)
 
   GtkWidget *help_about = gtk_menu_item_new_with_mnemonic (_("_About"));
   GtkWidget *help_ref = gtk_menu_item_new_with_mnemonic (_("_Reference Manual"));
-  GtkWidget *child = gtk_bin_get_child (GTK_BIN (help_ref));
-  gtk_accel_label_set_accel (GTK_ACCEL_LABEL (child), GDK_KEY_F1, 0);
+
+  GtkAccelGroup *accel_group = gtk_accel_group_new ();
   
+  gtk_window_add_accel_group (toplevel, accel_group);
+
+  gtk_widget_add_accelerator (help_ref,
+			      "activate", accel_group,
+			      GDK_KEY_F1, 0,
+			      GTK_ACCEL_VISIBLE);
+
   gtk_menu_attach (GTK_MENU (menu), help_ref, 0, 1, 0, 1);
   gtk_menu_attach (GTK_MENU (menu), help_about, 0, 1, 1, 2);