[devhelp] trivial: fix shortcut for "toggle sidebar"

[Frederic Peters <fpeters src gnome org>]

commit 818a243c22a9cca6dfb720f99a1ee9e0e8ee796e
Author: Frédéric Péters <fpeters 0d be>
Date:   Sat Mar 12 11:02:58 2016 +0100

    trivial: fix shortcut for "toggle sidebar"

 src/help-overlay.ui |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/src/help-overlay.ui b/src/help-overlay.ui
index a405702..ad552ef 100644
--- a/src/help-overlay.ui
+++ b/src/help-overlay.ui
@@ -43,7 +43,7 @@
             <child>
               <object class="GtkShortcutsShortcut">
                 <property name="visible">1</property>
-                <property name="accelerator">&lt;Primary&gt;F9</property>
+                <property name="accelerator">F9</property>
                 <property name="title" translatable="yes" context="shortcut window">Toggle sidebar 
visibility</property>
               </object>
             </child>