4efd363134
When we reload the remote search providers, we currently try to remove all remote providers, and then re-scan. It turns out that we sometimes remove the wrong providers from the remote provider list, causing us to have some providers not correctly unloaded. https://bugzilla.gnome.org/show_bug.cgi?id=700283
106 lines
3.1 KiB
JavaScript
106 lines
3.1 KiB
JavaScript
// -*- mode: js; js-indent-level: 4; indent-tabs-mode: nil -*-
|
|
|
|
const Lang = imports.lang;
|
|
const Signals = imports.signals;
|
|
|
|
const SEARCH_PROVIDERS_SCHEMA = 'org.gnome.desktop.search-providers';
|
|
|
|
const SearchSystem = new Lang.Class({
|
|
Name: 'SearchSystem',
|
|
|
|
_init: function() {
|
|
this._providers = [];
|
|
this._remoteProviders = [];
|
|
this.reset();
|
|
},
|
|
|
|
registerProvider: function (provider) {
|
|
provider.searchSystem = this;
|
|
this._providers.push(provider);
|
|
|
|
if (provider.isRemoteProvider)
|
|
this._remoteProviders.push(provider);
|
|
},
|
|
|
|
unregisterProvider: function (provider) {
|
|
let index = this._providers.indexOf(provider);
|
|
if (index == -1)
|
|
return;
|
|
provider.searchSystem = null;
|
|
this._providers.splice(index, 1);
|
|
|
|
let remoteIndex = this._remoteProviders.indexOf(provider);
|
|
if (remoteIndex != -1)
|
|
this._remoteProviders.splice(remoteIndex, 1);
|
|
},
|
|
|
|
getProviders: function() {
|
|
return this._providers;
|
|
},
|
|
|
|
getRemoteProviders: function() {
|
|
return this._remoteProviders;
|
|
},
|
|
|
|
getTerms: function() {
|
|
return this._previousTerms;
|
|
},
|
|
|
|
reset: function() {
|
|
this._previousTerms = [];
|
|
this._previousResults = [];
|
|
},
|
|
|
|
setResults: function(provider, results) {
|
|
let i = this._providers.indexOf(provider);
|
|
if (i == -1)
|
|
return;
|
|
|
|
this._previousResults[i] = [provider, results];
|
|
this.emit('search-updated', this._previousResults[i]);
|
|
},
|
|
|
|
updateSearchResults: function(terms) {
|
|
if (!terms)
|
|
return;
|
|
|
|
let searchString = terms.join(' ');
|
|
let previousSearchString = this._previousTerms.join(' ');
|
|
if (searchString == previousSearchString)
|
|
return;
|
|
|
|
let isSubSearch = false;
|
|
if (this._previousTerms.length > 0)
|
|
isSubSearch = searchString.indexOf(previousSearchString) == 0;
|
|
|
|
let previousResultsArr = this._previousResults;
|
|
|
|
let results = [];
|
|
this._previousTerms = terms;
|
|
this._previousResults = results;
|
|
|
|
if (isSubSearch) {
|
|
for (let i = 0; i < this._providers.length; i++) {
|
|
let [provider, previousResults] = previousResultsArr[i];
|
|
try {
|
|
results.push([provider, []]);
|
|
provider.getSubsearchResultSet(previousResults, terms);
|
|
} catch (error) {
|
|
log('A ' + error.name + ' has occured in ' + provider.id + ': ' + error.message);
|
|
}
|
|
}
|
|
} else {
|
|
for (let i = 0; i < this._providers.length; i++) {
|
|
let provider = this._providers[i];
|
|
try {
|
|
results.push([provider, []]);
|
|
provider.getInitialResultSet(terms);
|
|
} catch (error) {
|
|
log('A ' + error.name + ' has occured in ' + provider.id + ': ' + error.message);
|
|
}
|
|
}
|
|
}
|
|
}
|
|
});
|
|
Signals.addSignalMethods(SearchSystem.prototype);
|