From 40c2a403ac2a1fa0250a1a361ce8451e8ed2a814 Mon Sep 17 00:00:00 2001
From: Cosimo Cecchi <cosimoc@gnome.org>
Date: Thu, 30 Nov 2017 12:36:31 -0800
Subject: [PATCH] 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();
     }