[gnome-commander] Sets 'F12' to view_main_menu user action by default

[Uwe Scholz <uwescholz src gnome org>]

commit 398789f18a23bc76ec8cab52c21ea710a85d311a
Author: Uwe Scholz <uwescholz src gnome org>
Date:   Mon Aug 22 20:09:10 2016 +0200

    Sets 'F12' to view_main_menu user action by default

 doc/C/gnome-commander.xml     |    5 +++++
 src/gnome-cmd-user-actions.cc |    3 +++
 2 files changed, 8 insertions(+), 0 deletions(-)
---
diff --git a/doc/C/gnome-commander.xml b/doc/C/gnome-commander.xml
index 0d06f78..ad30456 100644
--- a/doc/C/gnome-commander.xml
+++ b/doc/C/gnome-commander.xml
@@ -6144,6 +6144,11 @@
             <entry><para></para></entry>
         </row>
         <row valign="top">
+            <entry><para><keycombo><keycap>F12</keycap></keycombo></para></entry>
+            <entry><para>Display main menu</para></entry>
+            <entry><para>yes</para></entry>
+        </row>
+        <row valign="top">
             <entry><para></para></entry>
             <entry><para></para></entry>
             <entry><para></para></entry>
diff --git a/src/gnome-cmd-user-actions.cc b/src/gnome-cmd-user-actions.cc
index 8d5c204..5ee873f 100644
--- a/src/gnome-cmd-user-actions.cc
+++ b/src/gnome-cmd-user-actions.cc
@@ -302,6 +302,9 @@ void GnomeCmdUserActions::init()
 
  void GnomeCmdUserActions::set_defaults()
  {
+    if (!registered("view.main_menu"))
+        register_action(GDK_F12, "view.main_menu");
+
    if (!registered("bookmarks.edit"))
         register_action(GDK_CONTROL_MASK, GDK_D, "bookmarks.edit");