From 76ea1f4dcad442f889e6b5b89dea5a838d769534 Mon Sep 17 00:00:00 2001
From: "Jasper St. Pierre" <jstpierre@mecheye.net>
Date: Mon, 21 Apr 2014 23:34:11 -0400
Subject: [PATCH] search: Make sure to destroy old provider displays when we
 unregister

When we unregistered providers, like when we refreshed the list of
active remote providers, we would forget to destroy the old provider
display after the fact. This left an empty "skeleton" provider display
still in the search results that would never be filled in. Make sure
to destroy it properly.

https://bugzilla.gnome.org/show_bug.cgi?id=728597
---
 js/ui/search.js | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/js/ui/search.js b/js/ui/search.js
index 919642a9a..3797b7421 100644
--- a/js/ui/search.js
+++ b/js/ui/search.js
@@ -68,6 +68,9 @@ const SearchSystem = new Lang.Class({
     _unregisterProvider: function (provider) {
         let index = this._providers.indexOf(provider);
         this._providers.splice(index, 1);
+
+        if (provider.display)
+            provider.display.destroy();
     },
 
     getProviders: function() {