diff --git a/js/ui/overview.js b/js/ui/overview.js index bb050e3b7..6b36771c9 100644 --- a/js/ui/overview.js +++ b/js/ui/overview.js @@ -208,11 +208,11 @@ Overview.prototype = { this._viewSelector.addViewTab('applications', _("Applications"), appView.actor, 'system-run'); // Default search providers - this._viewSelector.addSearchProvider(new AppDisplay.AppSearchProvider()); - this._viewSelector.addSearchProvider(new AppDisplay.SettingsSearchProvider()); - this._viewSelector.addSearchProvider(new PlaceDisplay.PlaceSearchProvider()); - this._viewSelector.addSearchProvider(new DocDisplay.DocSearchProvider()); - this._viewSelector.addSearchProvider(new ContactDisplay.ContactSearchProvider()); + this.addSearchProvider(new AppDisplay.AppSearchProvider()); + this.addSearchProvider(new AppDisplay.SettingsSearchProvider()); + this.addSearchProvider(new PlaceDisplay.PlaceSearchProvider()); + this.addSearchProvider(new DocDisplay.DocSearchProvider()); + this.addSearchProvider(new ContactDisplay.ContactSearchProvider()); // TODO - recalculate everything when desktop size changes this._dash = new Dash.Dash(); @@ -233,6 +233,10 @@ Overview.prototype = { this._relayout(); }, + addSearchProvider: function(provider) { + this._viewSelector.addSearchProvider(provider); + }, + setMessage: function(text, undoCallback, undoLabel) { if (this.isDummy) return;