[gnome-builder] libide/gui: add panel toggle tooltips

[Christian Hergert <chergert src gnome org>]

commit f183bff1408e9c0cb38fc444f1a47a6de700b704
Author: Christian Hergert <chergert redhat com>
Date:   Mon Aug 29 17:29:34 2022 -0700

    libide/gui: add panel toggle tooltips
    
    Fixes #1736

 src/libide/gui/ide-primary-workspace.ui | 3 +++
 1 file changed, 3 insertions(+)
---
diff --git a/src/libide/gui/ide-primary-workspace.ui b/src/libide/gui/ide-primary-workspace.ui
index dd4b86985..d558e1c34 100644
--- a/src/libide/gui/ide-primary-workspace.ui
+++ b/src/libide/gui/ide-primary-workspace.ui
@@ -14,6 +14,7 @@
           <object class="PanelDockSwitcher">
             <property name="dock">dock</property>
             <property name="position">start</property>
+            <property name="tooltip-text" translatable="yes">Toggle Left Panel (F9)</property>
           </object>
         </child>
         <child type="title">
@@ -47,6 +48,7 @@
           <object class="PanelDockSwitcher">
             <property name="dock">dock</property>
             <property name="position">end</property>
+            <property name="tooltip-text" translatable="yes">Toggle Right Panel</property>
           </object>
         </child>
         <child type="right">
@@ -100,6 +102,7 @@
           <object class="PanelDockSwitcher">
             <property name="dock">dock</property>
             <property name="position">bottom</property>
+            <property name="tooltip-text" translatable="yes">Toggle Bottom Panel (Ctrl+F9)</property>
           </object>
         </child>
       </object>