[gnome-builder] plugins/menu-search: namespace menu id
- From: Christian Hergert <chergert src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-builder] plugins/menu-search: namespace menu id
- Date: Tue, 19 Jul 2022 22:29:34 +0000 (UTC)
commit 2dff13b547a2ca90aee82f4f32e490406a2825f7
Author: Christian Hergert <chergert redhat com>
Date: Tue Jul 19 15:04:08 2022 -0700
plugins/menu-search: namespace menu id
src/plugins/menu-search/gtk/menus.ui | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/src/plugins/menu-search/gtk/menus.ui b/src/plugins/menu-search/gtk/menus.ui
index e73083346..d3c41da80 100644
--- a/src/plugins/menu-search/gtk/menus.ui
+++ b/src/plugins/menu-search/gtk/menus.ui
@@ -1,6 +1,6 @@
<?xml version="1.0" encoding="UTF-8"?>
<interface>
- <menu id="extra-search-menu">
+ <menu id="menu-search">
<!-- This menu is just used to add extra search items -->
<item>
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]