[gnome-builder] plugins/buildui: use network page for SDK management
- From: Christian Hergert <chergert src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-builder] plugins/buildui: use network page for SDK management
- Date: Sun, 21 Aug 2022 17:39:06 +0000 (UTC)
commit 341d9b8668074ef1669bbb32dbb6cd9e5c2cd6ca
Author: Christian Hergert <chergert redhat com>
Date: Fri Aug 19 23:39:38 2022 -0700
plugins/buildui: use network page for SDK management
This might not make it into the release, but this at least selects the
right page now.
src/plugins/buildui/gtk/menus.ui | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/src/plugins/buildui/gtk/menus.ui b/src/plugins/buildui/gtk/menus.ui
index 2f1d1869b..6dcbcb8fd 100644
--- a/src/plugins/buildui/gtk/menus.ui
+++ b/src/plugins/buildui/gtk/menus.ui
@@ -111,7 +111,7 @@
<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">'sdks'</attribute>
+ <attribute name="target" type="s">'network_page'</attribute>
</item>
</section>
</menu>
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]