[gnome-builder] plugins/update-manager: add menu entry to update builder

[Christian Hergert <chergert src gnome org>]

commit a2153b4d2c4ae802184623c3ef37f0c0e3f591ef
Author: Christian Hergert <chergert redhat com>
Date:   Tue Sep 6 13:09:16 2022 -0700

    plugins/update-manager: add menu entry to update builder
    
    Only shown (in primary menu) when an update is available.
    
    Fixes #1779

 src/plugins/update-manager/gtk/menus.ui                 | 15 +++++++++++++++
 src/plugins/update-manager/update-manager.gresource.xml |  1 +
 2 files changed, 16 insertions(+)
---
diff --git a/src/plugins/update-manager/gtk/menus.ui b/src/plugins/update-manager/gtk/menus.ui
new file mode 100644
index 000000000..4a67018db
--- /dev/null
+++ b/src/plugins/update-manager/gtk/menus.ui
@@ -0,0 +1,15 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<interface>
+  <menu id="ide-primary-workspace-menu">
+    <section id="ide-primary-workspace-menu-app-section">
+      <item>
+        <attribute name="id">ide-primary-workspace-menu-update</attribute>
+        <attribute name="label" translatable="yes">Install Updates…</attribute>
+        <attribute name="description" translatable="yes">Install pending updates for Builder</attribute>
+        <attribute name="action">app.update-builder</attribute>
+        <attribute name="verb-icon">software-update-available-symbolic</attribute>
+        <attribute name="hidden-when">action-disabled</attribute>
+      </item>
+    </section>
+  </menu>
+</interface>
diff --git a/src/plugins/update-manager/update-manager.gresource.xml 
b/src/plugins/update-manager/update-manager.gresource.xml
index bd14620b3..ba084e5b5 100644
--- a/src/plugins/update-manager/update-manager.gresource.xml
+++ b/src/plugins/update-manager/update-manager.gresource.xml
@@ -2,5 +2,6 @@
 <gresources>
   <gresource prefix="/plugins/update-manager">
     <file>update-manager.plugin</file>
+    <file preprocess="xml-stripblanks">gtk/menus.ui</file>
   </gresource>
 </gresources>