[gnome-builder] plugins/sdkui: move manage sdk menu item to sdkui
- From: Christian Hergert <chergert src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-builder] plugins/sdkui: move manage sdk menu item to sdkui
- Date: Tue, 23 Aug 2022 21:05:02 +0000 (UTC)
commit 228284c8876b47c847d53e449d69fb455c97c760
Author: Christian Hergert <chergert redhat com>
Date: Tue Aug 23 14:04:40 2022 -0700
plugins/sdkui: move manage sdk menu item to sdkui
This is where the tweaks are defined, so the menu item to activate it
should live here too.
src/plugins/buildui/gtk/menus.ui | 9 +--------
src/plugins/sdkui/gtk/menus.ui | 11 +++++++++++
src/plugins/sdkui/sdkui.gresource.xml | 1 +
3 files changed, 13 insertions(+), 8 deletions(-)
---
diff --git a/src/plugins/buildui/gtk/menus.ui b/src/plugins/buildui/gtk/menus.ui
index b0357836b..c0265cf56 100644
--- a/src/plugins/buildui/gtk/menus.ui
+++ b/src/plugins/buildui/gtk/menus.ui
@@ -106,14 +106,7 @@
<attribute name="verb-icon">builder-terminal-symbolic</attribute>
</item>
</section>
- <section id="build-deps">
- <item>
- <attribute name="id">manage-sdks</attribute>
- <attribute name="label" translatable="yes">Manage SDKs…</attribute>
- <attribute name="action">app.preferences-page</attribute>
- <attribute name="target" type="s">'sdk_page'</attribute>
- </item>
- </section>
+ <section id="build-deps"/>
</menu>
<menu id="run-menu">
<section id="run-command-section">
diff --git a/src/plugins/sdkui/gtk/menus.ui b/src/plugins/sdkui/gtk/menus.ui
new file mode 100644
index 000000000..7a6129e19
--- /dev/null
+++ b/src/plugins/sdkui/gtk/menus.ui
@@ -0,0 +1,11 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<interface>
+ <menu id="build-deps">
+ <item>
+ <attribute name="id">manage-sdks</attribute>
+ <attribute name="label" translatable="yes">Manage SDKs…</attribute>
+ <attribute name="action">app.preferences-page</attribute>
+ <attribute name="target" type="s">'sdk_page'</attribute>
+ </item>
+ </menu>
+</interface>
diff --git a/src/plugins/sdkui/sdkui.gresource.xml b/src/plugins/sdkui/sdkui.gresource.xml
index f2691ff40..9ef21fd90 100644
--- a/src/plugins/sdkui/sdkui.gresource.xml
+++ b/src/plugins/sdkui/sdkui.gresource.xml
@@ -3,5 +3,6 @@
<gresource prefix="/plugins/sdkui">
<file>sdkui.plugin</file>
<file preprocess="xml-stripblanks">tweaks.ui</file>
+ <file preprocess="xml-stripblanks">gtk/menus.ui</file>
</gresource>
</gresources>
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]