[gnome-builder] workbench: add tooltip with shortcut for menu

[Christian Hergert <chergert src gnome org>]

commit 63dc4c29865238203125765c1b896bc9e1de6f32
Author: Christian Hergert <chergert redhat com>
Date:   Thu Oct 11 17:09:15 2018 -0700

    workbench: add tooltip with shortcut for menu

 src/libide/workbench/ide-workbench-header-bar.c  | 2 ++
 src/libide/workbench/ide-workbench-header-bar.ui | 5 ++++-
 2 files changed, 6 insertions(+), 1 deletion(-)
---
diff --git a/src/libide/workbench/ide-workbench-header-bar.c b/src/libide/workbench/ide-workbench-header-bar.c
index 533aed0c4..bc47c258b 100644
--- a/src/libide/workbench/ide-workbench-header-bar.c
+++ b/src/libide/workbench/ide-workbench-header-bar.c
@@ -38,6 +38,7 @@ typedef struct
   GtkImage           *fullscreen_image;
   DzlShortcutTooltip *fullscreen_tooltip;
   GtkMenuButton      *menu_button;
+  DzlShortcutTooltip *menu_tooltip;
   DzlPriorityBox     *right_box;
   DzlPriorityBox     *left_box;
   IdeOmniBar         *omni_bar;
@@ -141,6 +142,7 @@ ide_workbench_header_bar_class_init (IdeWorkbenchHeaderBarClass *klass)
   gtk_widget_class_bind_template_child_private (widget_class, IdeWorkbenchHeaderBar, fullscreen_tooltip);
   gtk_widget_class_bind_template_child_private (widget_class, IdeWorkbenchHeaderBar, left_box);
   gtk_widget_class_bind_template_child_private (widget_class, IdeWorkbenchHeaderBar, menu_button);
+  gtk_widget_class_bind_template_child_private (widget_class, IdeWorkbenchHeaderBar, menu_tooltip);
   gtk_widget_class_bind_template_child_private (widget_class, IdeWorkbenchHeaderBar, omni_bar);
   gtk_widget_class_bind_template_child_private (widget_class, IdeWorkbenchHeaderBar, primary);
   gtk_widget_class_bind_template_child_private (widget_class, IdeWorkbenchHeaderBar, right_box);
diff --git a/src/libide/workbench/ide-workbench-header-bar.ui 
b/src/libide/workbench/ide-workbench-header-bar.ui
index 3dd4bfc0f..f24878ed9 100644
--- a/src/libide/workbench/ide-workbench-header-bar.ui
+++ b/src/libide/workbench/ide-workbench-header-bar.ui
@@ -75,7 +75,6 @@
                <property name="menu-id">gear-menu</property>
                 <property name="show-accels">true</property>
                 <property name="show-icons">true</property>
-                <property name="tooltip-text" translatable="yes">Show workbench menu</property>
                 <property name="visible">true</property>
                 <style>
                   <class name="image-button"/>
@@ -113,4 +112,8 @@
     <property name="command-id">org.gnome.builder.workbench.fullscreen</property>
     <property name="widget">fullscreen_button</property>
   </object>
+  <object class="DzlShortcutTooltip" id="menu_tooltip">
+    <property name="command-id">org.gnome.builder.workbench.menu</property>
+    <property name="widget">menu_button</property>
+  </object>
 </interface>