From: John Darrington <john@darrington.wattle.id.au>
Date: Fri, 7 Mar 2014 08:00:25 +0000 (+0100)
Subject: Added some accelerator keys to the menu items.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=3c5630105991133a09971a4c107141767a2c7d0c;p=pspp

Added some accelerator keys to the menu items.

Thanks to Dr. Soumalya Ray for reporting this deficiency.
---

diff --git a/src/ui/gui/data-editor.ui b/src/ui/gui/data-editor.ui
index 2a1f88c429..6fded8e991 100644
--- a/src/ui/gui/data-editor.ui
+++ b/src/ui/gui/data-editor.ui
@@ -36,6 +36,7 @@
             <property name="name">file_open</property>
             <property name="label" translatable="yes">_Open...</property>
           </object>
+	  <accelerator key="O" modifiers="GDK_CONTROL_MASK"/>
         </child>
         <child>
           <object class="GtkAction" id="file_import">
@@ -57,6 +58,7 @@
             <property name="name">file_save</property>
 	    <property name="label" translatable="yes">_Save</property>
           </object>
+	  <accelerator key="S" modifiers="GDK_CONTROL_MASK"/>
         </child>
         <child>
           <object class="GtkAction" id="file_save_as">
@@ -64,6 +66,7 @@
             <property name="name">file_save_as</property>
             <property name="label" translatable="yes">Save _As...</property>
           </object>
+	  <accelerator key="S" modifiers="GDK_CONTROL_MASK | GDK_SHIFT_MASK"/>
         </child>
         <child>
           <object class="GtkAction" id="file-information">
diff --git a/src/ui/gui/help-menu.c b/src/ui/gui/help-menu.c
index e670c0b555..33a9407f71 100644
--- a/src/ui/gui/help-menu.c
+++ b/src/ui/gui/help-menu.c
@@ -132,7 +132,7 @@ merge_help_menu (GtkUIManager *uim)
     
       {
 	"help_reference", "help-reference-manual",            /* name, stock id */
-	N_("_Reference Manual"), NULL,               /* label, accelerator */
+	N_("_Reference Manual"), "F1",               /* label, accelerator */
 	NULL,                                        /* tooltip */
 	G_CALLBACK (reference_manual)
       },
diff --git a/src/ui/gui/output-viewer.ui b/src/ui/gui/output-viewer.ui
index c8450264c7..a9b7702e5b 100644
--- a/src/ui/gui/output-viewer.ui
+++ b/src/ui/gui/output-viewer.ui
@@ -15,6 +15,7 @@
             <property name="stock-id">file-print</property>
             <property name="label" translatable="yes">_Print...</property>
           </object>
+	  <accelerator key="P" modifiers="GDK_CONTROL_MASK"/>
         </child>
         <child>
           <object class="GtkAction" id="file_export">