[devhelp] help-overlay: rename "sidebar" -> "side panel"

[Sébastien Wilmet <swilmet src gnome org>]

commit ab89045a551c16447fc2a02f75afa267703a5bf6
Author: Sébastien Wilmet <swilmet gnome org>
Date:   Sat Jun 3 15:18:58 2017 +0200

    help-overlay: rename "sidebar" -> "side panel"
    
    For consistency with the item in the hamburger menu.

 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 ad552ef..a68b6f4 100644
--- a/src/help-overlay.ui
+++ b/src/help-overlay.ui
@@ -44,7 +44,7 @@
               <object class="GtkShortcutsShortcut">
                 <property name="visible">1</property>
                 <property name="accelerator">F9</property>
-                <property name="title" translatable="yes" context="shortcut window">Toggle sidebar 
visibility</property>
+                <property name="title" translatable="yes" context="shortcut window">Toggle side panel 
visibility</property>
               </object>
             </child>
             <child>