[gnome-builder] libide/gui: add tooltip to primary menu

[Christian Hergert <chergert src gnome org>]

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

    libide/gui: add tooltip to primary menu
    
    Just copied the text of firefox, for better or worse.
    
    Fixes #1737

 src/libide/gui/ide-header-bar.ui | 1 +
 1 file changed, 1 insertion(+)
---
diff --git a/src/libide/gui/ide-header-bar.ui b/src/libide/gui/ide-header-bar.ui
index 4ee1de14e..808c0fd7a 100644
--- a/src/libide/gui/ide-header-bar.ui
+++ b/src/libide/gui/ide-header-bar.ui
@@ -31,6 +31,7 @@
           <object class="GtkMenuButton" id="menu_button">
             <property name="icon-name">open-menu-symbolic</property>
             <property name="primary">true</property>
+            <property name="tooltip-text" translatable="yes">Open application menu (F10)</property>
           </object>
         </child>
         <child type="end">