[gnome-shell] search: reload search providers when installed applications change
- From: Marco Trevisan <marcotrevi src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-shell] search: reload search providers when installed applications change
- Date: Wed, 29 May 2019 20:39:59 +0000 (UTC)
commit 40c2a403ac2a1fa0250a1a361ce8451e8ed2a814
Author: Cosimo Cecchi <cosimoc gnome org>
Date: Thu Nov 30 12:36:31 2017 -0800
search: reload search providers when installed applications change
Otherwise, a shell restart will be required after installing a new
application, before its results can be seen in search.
https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/562
js/ui/search.js | 3 +++
1 file changed, 3 insertions(+)
---
diff --git a/js/ui/search.js b/js/ui/search.js
index fe4f6162b..6ceee4f03 100644
--- a/js/ui/search.js
+++ b/js/ui/search.js
@@ -431,6 +431,9 @@ var SearchResults = class {
this._cancellable = new Gio.Cancellable();
this._registerProvider(new AppDisplay.AppSearchProvider());
+
+ let appSystem = Shell.AppSystem.get_default();
+ appSystem.connect('installed-changed', this._reloadRemoteProviders.bind(this));
this._reloadRemoteProviders();
}
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]