[gnome-shell] search: reload search providers when installed applications change

[Marco Trevisan <marcotrevi src gnome org>]

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();
     }