diff options
| author | Jasper St. Pierre <jstpierre@mecheye.net> | 2014-04-21 23:34:11 -0400 |
|---|---|---|
| committer | Michael Catanzaro <mcatanzaro@gnome.org> | 2014-05-10 08:58:39 -0500 |
| commit | 76ea1f4dcad442f889e6b5b89dea5a838d769534 (patch) | |
| tree | 6e73d43f71eaef8ece27add48b9bc26b45cbb237 | |
| parent | e4e3252ffcfbc7fe9d92ff5a66ef9d84206fc81e (diff) | |
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
| -rw-r--r-- | js/ui/search.js | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/js/ui/search.js b/js/ui/search.js index 919642a9..3797b742 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() { |