[gnome-builder] plugins/menu-search: raise priority of menu-search
- From: Christian Hergert <chergert src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-builder] plugins/menu-search: raise priority of menu-search
- Date: Tue, 30 Aug 2022 00:56:02 +0000 (UTC)
commit 2dfa072226c82ea9bdce2bca753762b8845148e3
Author: Christian Hergert <chergert redhat com>
Date: Mon Aug 29 17:55:56 2022 -0700
plugins/menu-search: raise priority of menu-search
We want these items to be predictable, which means making things like
"build", "rebuild", "pref" to be predictable items.
Of course, we still need section/groups and the ability to make more
intelligent "top choice" items.
src/plugins/menu-search/menu-search.plugin | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/src/plugins/menu-search/menu-search.plugin b/src/plugins/menu-search/menu-search.plugin
index e4a1fc25a..1103c661a 100644
--- a/src/plugins/menu-search/menu-search.plugin
+++ b/src/plugins/menu-search/menu-search.plugin
@@ -6,4 +6,4 @@ Embedded=_gbp_menu_search_register_types
Hidden=true
Module=menu-search
Name=Menu Search
-X-Search-Provider-Priority=-50
+X-Search-Provider-Priority=-200
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]