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() {