2011-09-28 09:16:26 -04:00
|
|
|
// -*- mode: js; js-indent-level: 4; indent-tabs-mode: nil -*-
|
2009-11-29 17:45:30 -05:00
|
|
|
|
2013-10-29 15:49:05 -04:00
|
|
|
const Clutter = imports.gi.Clutter;
|
2011-01-17 16:38:47 -05:00
|
|
|
const Lang = imports.lang;
|
2014-09-11 17:15:50 -04:00
|
|
|
const GLib = imports.gi.GLib;
|
2013-10-30 12:38:46 -04:00
|
|
|
const Gio = imports.gi.Gio;
|
2013-10-29 15:49:05 -04:00
|
|
|
const Gtk = imports.gi.Gtk;
|
|
|
|
const Meta = imports.gi.Meta;
|
2009-11-29 17:45:30 -05:00
|
|
|
const Signals = imports.signals;
|
2014-06-17 15:31:53 -04:00
|
|
|
const Shell = imports.gi.Shell;
|
2013-10-29 15:49:05 -04:00
|
|
|
const St = imports.gi.St;
|
|
|
|
const Atk = imports.gi.Atk;
|
|
|
|
|
2013-10-30 12:38:46 -04:00
|
|
|
const AppDisplay = imports.ui.appDisplay;
|
2013-10-29 15:49:05 -04:00
|
|
|
const DND = imports.ui.dnd;
|
|
|
|
const IconGrid = imports.ui.iconGrid;
|
|
|
|
const Main = imports.ui.main;
|
|
|
|
const Overview = imports.ui.overview;
|
2013-10-30 12:38:46 -04:00
|
|
|
const RemoteSearch = imports.ui.remoteSearch;
|
2013-10-29 15:49:05 -04:00
|
|
|
const Separator = imports.ui.separator;
|
|
|
|
const Util = imports.misc.util;
|
2011-01-17 16:38:47 -05:00
|
|
|
|
2012-11-01 10:33:40 -04:00
|
|
|
const SEARCH_PROVIDERS_SCHEMA = 'org.gnome.desktop.search-providers';
|
|
|
|
|
2013-10-29 15:49:05 -04:00
|
|
|
const MAX_LIST_SEARCH_RESULTS_ROWS = 3;
|
|
|
|
const MAX_GRID_SEARCH_RESULTS_ROWS = 1;
|
|
|
|
|
|
|
|
const MaxWidthBin = new Lang.Class({
|
|
|
|
Name: 'MaxWidthBin',
|
|
|
|
Extends: St.Bin,
|
|
|
|
|
|
|
|
vfunc_allocate: function(box, flags) {
|
|
|
|
let themeNode = this.get_theme_node();
|
|
|
|
let maxWidth = themeNode.get_max_width();
|
|
|
|
let availWidth = box.x2 - box.x1;
|
|
|
|
let adjustedBox = box;
|
|
|
|
|
|
|
|
if (availWidth > maxWidth) {
|
|
|
|
let excessWidth = availWidth - maxWidth;
|
|
|
|
adjustedBox.x1 += Math.floor(excessWidth / 2);
|
|
|
|
adjustedBox.x2 -= Math.floor(excessWidth / 2);
|
|
|
|
}
|
|
|
|
|
|
|
|
this.parent(adjustedBox, flags);
|
|
|
|
}
|
|
|
|
});
|
|
|
|
|
|
|
|
const SearchResult = new Lang.Class({
|
|
|
|
Name: 'SearchResult',
|
|
|
|
|
2013-02-08 19:04:24 -05:00
|
|
|
_init: function(provider, metaInfo) {
|
2013-10-29 15:49:05 -04:00
|
|
|
this.provider = provider;
|
|
|
|
this.metaInfo = metaInfo;
|
|
|
|
|
|
|
|
this.actor = new St.Button({ reactive: true,
|
|
|
|
can_focus: true,
|
|
|
|
track_hover: true,
|
|
|
|
x_align: St.Align.START,
|
|
|
|
y_fill: true });
|
|
|
|
|
|
|
|
this.actor._delegate = this;
|
2013-10-30 17:42:49 -04:00
|
|
|
this.actor.connect('clicked', Lang.bind(this, this.activate));
|
2013-10-29 15:49:05 -04:00
|
|
|
},
|
|
|
|
|
2013-10-30 17:42:49 -04:00
|
|
|
activate: function() {
|
2013-02-08 19:04:24 -05:00
|
|
|
this.emit('activate', this.metaInfo.id);
|
2013-10-29 15:49:05 -04:00
|
|
|
}
|
|
|
|
});
|
2013-02-08 19:04:24 -05:00
|
|
|
Signals.addSignalMethods(SearchResult.prototype);
|
2013-10-29 15:49:05 -04:00
|
|
|
|
|
|
|
const ListSearchResult = new Lang.Class({
|
|
|
|
Name: 'ListSearchResult',
|
|
|
|
Extends: SearchResult,
|
|
|
|
|
|
|
|
ICON_SIZE: 64,
|
|
|
|
|
2013-02-08 19:04:24 -05:00
|
|
|
_init: function(provider, metaInfo) {
|
|
|
|
this.parent(provider, metaInfo);
|
2013-10-29 15:49:05 -04:00
|
|
|
|
|
|
|
this.actor.style_class = 'list-search-result';
|
|
|
|
this.actor.x_fill = true;
|
|
|
|
|
|
|
|
let content = new St.BoxLayout({ style_class: 'list-search-result-content',
|
|
|
|
vertical: false });
|
|
|
|
this.actor.set_child(content);
|
|
|
|
|
|
|
|
// An icon for, or thumbnail of, content
|
|
|
|
let icon = this.metaInfo['createIcon'](this.ICON_SIZE);
|
|
|
|
if (icon) {
|
|
|
|
content.add(icon);
|
|
|
|
}
|
|
|
|
|
|
|
|
let details = new St.BoxLayout({ vertical: true });
|
|
|
|
content.add(details, { x_fill: true,
|
|
|
|
y_fill: false,
|
|
|
|
x_align: St.Align.START,
|
|
|
|
y_align: St.Align.MIDDLE });
|
|
|
|
|
|
|
|
let title = new St.Label({ style_class: 'list-search-result-title',
|
|
|
|
text: this.metaInfo['name'] })
|
|
|
|
details.add(title, { x_fill: false,
|
|
|
|
y_fill: false,
|
|
|
|
x_align: St.Align.START,
|
|
|
|
y_align: St.Align.START });
|
|
|
|
this.actor.label_actor = title;
|
|
|
|
|
|
|
|
if (this.metaInfo['description']) {
|
|
|
|
let description = new St.Label({ style_class: 'list-search-result-description' });
|
|
|
|
description.clutter_text.set_markup(this.metaInfo['description']);
|
|
|
|
details.add(description, { x_fill: false,
|
|
|
|
y_fill: false,
|
|
|
|
x_align: St.Align.START,
|
|
|
|
y_align: St.Align.END });
|
|
|
|
}
|
|
|
|
}
|
|
|
|
});
|
|
|
|
|
|
|
|
const GridSearchResult = new Lang.Class({
|
|
|
|
Name: 'GridSearchResult',
|
|
|
|
Extends: SearchResult,
|
|
|
|
|
2013-02-08 19:04:24 -05:00
|
|
|
_init: function(provider, metaInfo) {
|
|
|
|
this.parent(provider, metaInfo);
|
2013-10-29 15:49:05 -04:00
|
|
|
|
|
|
|
this.actor.style_class = 'grid-search-result';
|
|
|
|
|
2014-08-20 12:39:02 -04:00
|
|
|
this.icon = new IconGrid.BaseIcon(this.metaInfo['name'],
|
|
|
|
{ createIcon: this.metaInfo['createIcon'] });
|
|
|
|
let content = new St.Bin({ child: this.icon.actor });
|
|
|
|
this.actor.set_child(content);
|
|
|
|
this.actor.label_actor = this.icon.label;
|
2013-10-29 15:49:05 -04:00
|
|
|
}
|
|
|
|
});
|
|
|
|
|
|
|
|
const SearchResultsBase = new Lang.Class({
|
|
|
|
Name: 'SearchResultsBase',
|
|
|
|
|
|
|
|
_init: function(provider) {
|
|
|
|
this.provider = provider;
|
|
|
|
|
|
|
|
this._terms = [];
|
|
|
|
|
|
|
|
this.actor = new St.BoxLayout({ style_class: 'search-section',
|
|
|
|
vertical: true });
|
|
|
|
|
|
|
|
this._resultDisplayBin = new St.Bin({ x_fill: true,
|
|
|
|
y_fill: true });
|
|
|
|
this.actor.add(this._resultDisplayBin, { expand: true });
|
|
|
|
|
|
|
|
let separator = new Separator.HorizontalSeparator({ style_class: 'search-section-separator' });
|
|
|
|
this.actor.add(separator.actor);
|
2013-02-08 18:59:15 -05:00
|
|
|
|
|
|
|
this._resultDisplays = {};
|
search: Make the internal search interface callback-based
Long ago, the search system worked in a synchronous manner: providers
were given a query, and results were collected in a single array of
[provider, results] pairs, and then the search display was updated
from that.
We introduced an asynchronous search system when we wanted to potentially
add a Zeitgeist search provider to the Shell in 3.2. For a while, search
providers were either async or sync, which worked by storing a dummy array
in the results, and adding a method for search providers to add results
later.
Later, we removed the search system entirely and ported the remaining
search providers to simply use the API to modify the empty array, but the
remains of the synchronous search system with its silly array still
lingered.
Finally, it's time to modernize. Promises^WCallbacks are the future.
Port the one remaining in-shell search engine (app search) to the new
callback based system, and simplify the remote search system in the
process.
2013-11-02 19:45:35 -04:00
|
|
|
|
|
|
|
this._cancellable = new Gio.Cancellable();
|
2013-10-29 15:49:05 -04:00
|
|
|
},
|
|
|
|
|
|
|
|
destroy: function() {
|
|
|
|
this.actor.destroy();
|
|
|
|
this._terms = [];
|
|
|
|
},
|
|
|
|
|
2014-08-20 12:39:02 -04:00
|
|
|
_createResultDisplay: function(meta) {
|
|
|
|
if (this.provider.createResultObject)
|
|
|
|
return this.provider.createResultObject(meta);
|
|
|
|
|
|
|
|
return null;
|
2013-10-29 15:49:05 -04:00
|
|
|
},
|
|
|
|
|
|
|
|
clear: function() {
|
2014-02-23 10:18:46 -05:00
|
|
|
for (let resultId in this._resultDisplays)
|
|
|
|
this._resultDisplays[resultId].actor.destroy();
|
2013-02-08 18:59:15 -05:00
|
|
|
this._resultDisplays = {};
|
2013-10-29 15:49:05 -04:00
|
|
|
this._clearResultDisplay();
|
|
|
|
this.actor.hide();
|
|
|
|
},
|
|
|
|
|
|
|
|
_keyFocusIn: function(actor) {
|
|
|
|
this.emit('key-focus-in', actor);
|
|
|
|
},
|
|
|
|
|
2013-02-08 19:04:24 -05:00
|
|
|
_activateResult: function(result, id) {
|
2013-10-31 11:59:23 -04:00
|
|
|
this.provider.activateResult(id, this._terms);
|
|
|
|
Main.overview.toggle();
|
2013-02-08 19:04:24 -05:00
|
|
|
},
|
|
|
|
|
2013-10-29 15:49:05 -04:00
|
|
|
_setMoreIconVisible: function(visible) {
|
|
|
|
},
|
|
|
|
|
2013-02-08 18:59:15 -05:00
|
|
|
_ensureResultActors: function(results, callback) {
|
|
|
|
let metasNeeded = results.filter(Lang.bind(this, function(resultId) {
|
|
|
|
return this._resultDisplays[resultId] === undefined;
|
|
|
|
}));
|
|
|
|
|
|
|
|
if (metasNeeded.length === 0) {
|
2014-02-24 11:24:42 -05:00
|
|
|
callback(true);
|
2013-02-08 18:59:15 -05:00
|
|
|
} else {
|
search: Make the internal search interface callback-based
Long ago, the search system worked in a synchronous manner: providers
were given a query, and results were collected in a single array of
[provider, results] pairs, and then the search display was updated
from that.
We introduced an asynchronous search system when we wanted to potentially
add a Zeitgeist search provider to the Shell in 3.2. For a while, search
providers were either async or sync, which worked by storing a dummy array
in the results, and adding a method for search providers to add results
later.
Later, we removed the search system entirely and ported the remaining
search providers to simply use the API to modify the empty array, but the
remains of the synchronous search system with its silly array still
lingered.
Finally, it's time to modernize. Promises^WCallbacks are the future.
Port the one remaining in-shell search engine (app search) to the new
callback based system, and simplify the remote search system in the
process.
2013-11-02 19:45:35 -04:00
|
|
|
this._cancellable.cancel();
|
|
|
|
this._cancellable.reset();
|
|
|
|
|
2013-02-08 18:59:15 -05:00
|
|
|
this.provider.getResultMetas(metasNeeded, Lang.bind(this, function(metas) {
|
2014-02-24 11:24:42 -05:00
|
|
|
if (metas.length == 0) {
|
|
|
|
callback(false);
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
if (metas.length != metasNeeded.length) {
|
|
|
|
log('Wrong number of result metas returned by search provider');
|
|
|
|
callback(false);
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
2013-02-08 18:59:15 -05:00
|
|
|
metasNeeded.forEach(Lang.bind(this, function(resultId, i) {
|
|
|
|
let meta = metas[i];
|
|
|
|
let display = this._createResultDisplay(meta);
|
|
|
|
display.connect('activate', Lang.bind(this, this._activateResult));
|
|
|
|
display.actor.connect('key-focus-in', Lang.bind(this, this._keyFocusIn));
|
|
|
|
this._resultDisplays[resultId] = display;
|
|
|
|
}));
|
2014-02-24 11:24:42 -05:00
|
|
|
callback(true);
|
search: Make the internal search interface callback-based
Long ago, the search system worked in a synchronous manner: providers
were given a query, and results were collected in a single array of
[provider, results] pairs, and then the search display was updated
from that.
We introduced an asynchronous search system when we wanted to potentially
add a Zeitgeist search provider to the Shell in 3.2. For a while, search
providers were either async or sync, which worked by storing a dummy array
in the results, and adding a method for search providers to add results
later.
Later, we removed the search system entirely and ported the remaining
search providers to simply use the API to modify the empty array, but the
remains of the synchronous search system with its silly array still
lingered.
Finally, it's time to modernize. Promises^WCallbacks are the future.
Port the one remaining in-shell search engine (app search) to the new
callback based system, and simplify the remote search system in the
process.
2013-11-02 19:45:35 -04:00
|
|
|
}), this._cancellable);
|
2013-02-08 18:59:15 -05:00
|
|
|
}
|
|
|
|
},
|
|
|
|
|
2013-10-29 15:49:05 -04:00
|
|
|
updateSearch: function(providerResults, terms, callback) {
|
|
|
|
this._terms = terms;
|
|
|
|
|
|
|
|
if (providerResults.length == 0) {
|
|
|
|
this._clearResultDisplay();
|
|
|
|
this.actor.hide();
|
|
|
|
callback();
|
|
|
|
} else {
|
|
|
|
let maxResults = this._getMaxDisplayedResults();
|
|
|
|
let results = this.provider.filterResults(providerResults, maxResults);
|
|
|
|
let hasMoreResults = results.length < providerResults.length;
|
|
|
|
|
2014-02-24 11:24:42 -05:00
|
|
|
this._ensureResultActors(results, Lang.bind(this, function(successful) {
|
2014-09-11 17:36:40 -04:00
|
|
|
if (!successful) {
|
|
|
|
this._clearResultDisplay();
|
2014-02-24 11:24:42 -05:00
|
|
|
return;
|
2014-09-11 17:36:40 -04:00
|
|
|
}
|
2013-10-29 15:49:05 -04:00
|
|
|
|
|
|
|
// To avoid CSS transitions causing flickering when
|
|
|
|
// the first search result stays the same, we hide the
|
|
|
|
// content while filling in the results.
|
|
|
|
this.actor.hide();
|
|
|
|
this._clearResultDisplay();
|
2013-02-08 18:59:15 -05:00
|
|
|
results.forEach(Lang.bind(this, function(resultId) {
|
|
|
|
this._addItem(this._resultDisplays[resultId]);
|
|
|
|
}));
|
2013-10-29 15:49:05 -04:00
|
|
|
this._setMoreIconVisible(hasMoreResults && this.provider.canLaunchSearch);
|
|
|
|
this.actor.show();
|
|
|
|
callback();
|
|
|
|
}));
|
|
|
|
}
|
|
|
|
}
|
|
|
|
});
|
|
|
|
|
|
|
|
const ListSearchResults = new Lang.Class({
|
|
|
|
Name: 'ListSearchResults',
|
|
|
|
Extends: SearchResultsBase,
|
|
|
|
|
|
|
|
_init: function(provider) {
|
|
|
|
this.parent(provider);
|
|
|
|
|
|
|
|
this._container = new St.BoxLayout({ style_class: 'search-section-content' });
|
|
|
|
this.providerIcon = new ProviderIcon(provider);
|
|
|
|
this.providerIcon.connect('key-focus-in', Lang.bind(this, this._keyFocusIn));
|
|
|
|
this.providerIcon.connect('clicked', Lang.bind(this,
|
|
|
|
function() {
|
2014-06-17 15:31:53 -04:00
|
|
|
this.providerIcon.animateLaunch();
|
2013-10-29 15:49:05 -04:00
|
|
|
provider.launchSearch(this._terms);
|
|
|
|
Main.overview.toggle();
|
|
|
|
}));
|
|
|
|
|
|
|
|
this._container.add(this.providerIcon, { x_fill: false,
|
|
|
|
y_fill: false,
|
|
|
|
x_align: St.Align.START,
|
|
|
|
y_align: St.Align.START });
|
|
|
|
|
|
|
|
this._content = new St.BoxLayout({ style_class: 'list-search-results',
|
|
|
|
vertical: true });
|
|
|
|
this._container.add(this._content, { expand: true });
|
|
|
|
|
|
|
|
this._resultDisplayBin.set_child(this._container);
|
|
|
|
},
|
|
|
|
|
|
|
|
_setMoreIconVisible: function(visible) {
|
2014-08-19 12:07:38 -04:00
|
|
|
this.providerIcon.moreIcon.visible = visible;
|
2013-10-29 15:49:05 -04:00
|
|
|
},
|
|
|
|
|
|
|
|
_getMaxDisplayedResults: function() {
|
|
|
|
return MAX_LIST_SEARCH_RESULTS_ROWS;
|
|
|
|
},
|
|
|
|
|
2013-02-08 18:59:15 -05:00
|
|
|
_clearResultDisplay: function () {
|
|
|
|
this._content.remove_all_children();
|
2013-10-29 15:49:05 -04:00
|
|
|
},
|
|
|
|
|
2013-02-08 18:59:15 -05:00
|
|
|
_createResultDisplay: function(meta) {
|
2014-08-20 12:39:02 -04:00
|
|
|
return this.parent(meta) || new ListSearchResult(this.provider, meta);
|
2013-02-08 18:59:15 -05:00
|
|
|
},
|
|
|
|
|
|
|
|
_addItem: function(display) {
|
|
|
|
this._content.add_actor(display.actor);
|
2013-10-29 15:49:05 -04:00
|
|
|
},
|
|
|
|
|
|
|
|
getFirstResult: function() {
|
|
|
|
if (this._content.get_n_children() > 0)
|
|
|
|
return this._content.get_child_at_index(0)._delegate;
|
|
|
|
else
|
|
|
|
return null;
|
|
|
|
}
|
|
|
|
});
|
|
|
|
Signals.addSignalMethods(ListSearchResults.prototype);
|
|
|
|
|
|
|
|
const GridSearchResults = new Lang.Class({
|
|
|
|
Name: 'GridSearchResults',
|
|
|
|
Extends: SearchResultsBase,
|
|
|
|
|
2014-07-15 11:09:41 -04:00
|
|
|
_init: function(provider, parentContainer) {
|
2013-10-29 15:49:05 -04:00
|
|
|
this.parent(provider);
|
2014-07-15 11:09:41 -04:00
|
|
|
// We need to use the parent container to know how much results we can show.
|
|
|
|
// None of the actors in this class can be used for that, since the main actor
|
|
|
|
// goes hidden when no results are displayed, and then it lost its allocation.
|
|
|
|
// Then on the next use of _getMaxDisplayedResults allocation is 0, en therefore
|
|
|
|
// it doesn't show any result although we have some.
|
|
|
|
this._parentContainer = parentContainer;
|
2013-10-29 15:49:05 -04:00
|
|
|
|
|
|
|
this._grid = new IconGrid.IconGrid({ rowLimit: MAX_GRID_SEARCH_RESULTS_ROWS,
|
|
|
|
xAlign: St.Align.START });
|
|
|
|
this._bin = new St.Bin({ x_align: St.Align.MIDDLE });
|
|
|
|
this._bin.set_child(this._grid.actor);
|
|
|
|
|
|
|
|
this._resultDisplayBin.set_child(this._bin);
|
|
|
|
},
|
|
|
|
|
|
|
|
_getMaxDisplayedResults: function() {
|
2014-07-15 11:09:41 -04:00
|
|
|
let parentThemeNode = this._parentContainer.get_theme_node();
|
|
|
|
let availableWidth = parentThemeNode.adjust_for_width(this._parentContainer.width);
|
|
|
|
return this._grid.columnsForWidth(availableWidth) * this._grid.getRowLimit();
|
2013-10-29 15:49:05 -04:00
|
|
|
},
|
|
|
|
|
|
|
|
_clearResultDisplay: function () {
|
|
|
|
this._grid.removeAll();
|
|
|
|
},
|
|
|
|
|
2013-02-08 18:59:15 -05:00
|
|
|
_createResultDisplay: function(meta) {
|
2014-08-20 12:39:02 -04:00
|
|
|
return this.parent(meta) || new GridSearchResult(this.provider, meta);
|
2013-02-08 18:59:15 -05:00
|
|
|
},
|
|
|
|
|
|
|
|
_addItem: function(display) {
|
2013-10-30 13:06:56 -04:00
|
|
|
this._grid.addItem(display);
|
2013-02-08 18:59:15 -05:00
|
|
|
},
|
|
|
|
|
2013-10-29 15:49:05 -04:00
|
|
|
getFirstResult: function() {
|
|
|
|
if (this._grid.visibleItemsCount() > 0)
|
|
|
|
return this._grid.getItemAtIndex(0)._delegate;
|
|
|
|
else
|
|
|
|
return null;
|
|
|
|
}
|
|
|
|
});
|
|
|
|
Signals.addSignalMethods(GridSearchResults.prototype);
|
|
|
|
|
|
|
|
const SearchResults = new Lang.Class({
|
|
|
|
Name: 'SearchResults',
|
|
|
|
|
2013-10-30 12:38:46 -04:00
|
|
|
_init: function() {
|
2013-10-29 15:49:05 -04:00
|
|
|
this.actor = new St.BoxLayout({ name: 'searchResults',
|
|
|
|
vertical: true });
|
|
|
|
|
|
|
|
this._content = new St.BoxLayout({ name: 'searchResultsContent',
|
|
|
|
vertical: true });
|
|
|
|
this._contentBin = new MaxWidthBin({ name: 'searchResultsBin',
|
|
|
|
x_fill: true,
|
|
|
|
y_fill: true,
|
|
|
|
child: this._content });
|
|
|
|
|
|
|
|
let scrollChild = new St.BoxLayout();
|
|
|
|
scrollChild.add(this._contentBin, { expand: true });
|
|
|
|
|
|
|
|
this._scrollView = new St.ScrollView({ x_fill: true,
|
|
|
|
y_fill: false,
|
|
|
|
overlay_scrollbars: true,
|
|
|
|
style_class: 'search-display vfade' });
|
|
|
|
this._scrollView.set_policy(Gtk.PolicyType.NEVER, Gtk.PolicyType.AUTOMATIC);
|
|
|
|
this._scrollView.add_actor(scrollChild);
|
|
|
|
let action = new Clutter.PanAction({ interpolate: true });
|
|
|
|
action.connect('pan', Lang.bind(this, this._onPan));
|
|
|
|
this._scrollView.add_action(action);
|
|
|
|
|
|
|
|
this.actor.add(this._scrollView, { x_fill: true,
|
|
|
|
y_fill: true,
|
|
|
|
expand: true,
|
|
|
|
x_align: St.Align.START,
|
|
|
|
y_align: St.Align.START });
|
|
|
|
|
|
|
|
this._statusText = new St.Label({ style_class: 'search-statustext' });
|
|
|
|
this._statusBin = new St.Bin({ x_align: St.Align.MIDDLE,
|
|
|
|
y_align: St.Align.MIDDLE });
|
2014-09-11 17:47:49 -04:00
|
|
|
this.actor.add(this._statusBin, { expand: true });
|
2013-10-29 15:49:05 -04:00
|
|
|
this._statusBin.add_actor(this._statusText);
|
|
|
|
|
|
|
|
this._highlightDefault = false;
|
|
|
|
this._defaultResult = null;
|
2014-09-11 17:15:50 -04:00
|
|
|
this._startingSearch = false;
|
|
|
|
|
|
|
|
this._terms = [];
|
|
|
|
this._results = {};
|
2013-10-30 12:38:46 -04:00
|
|
|
|
2014-09-11 15:45:51 -04:00
|
|
|
this._providers = [];
|
|
|
|
|
|
|
|
this._searchSettings = new Gio.Settings({ schema: SEARCH_PROVIDERS_SCHEMA });
|
|
|
|
this._searchSettings.connect('changed::disabled', Lang.bind(this, this._reloadRemoteProviders));
|
|
|
|
this._searchSettings.connect('changed::disable-external', Lang.bind(this, this._reloadRemoteProviders));
|
|
|
|
this._searchSettings.connect('changed::sort-order', Lang.bind(this, this._reloadRemoteProviders));
|
|
|
|
|
2014-09-11 17:15:50 -04:00
|
|
|
this._searchTimeoutId = 0;
|
2014-09-11 15:45:51 -04:00
|
|
|
this._cancellable = new Gio.Cancellable();
|
2014-09-11 17:15:50 -04:00
|
|
|
|
|
|
|
this._registerProvider(new AppDisplay.AppSearchProvider());
|
|
|
|
this._reloadRemoteProviders();
|
2014-09-11 15:45:51 -04:00
|
|
|
},
|
|
|
|
|
|
|
|
_reloadRemoteProviders: function() {
|
|
|
|
let remoteProviders = this._providers.filter(function(provider) {
|
|
|
|
return provider.isRemoteProvider;
|
|
|
|
});
|
|
|
|
remoteProviders.forEach(Lang.bind(this, function(provider) {
|
|
|
|
this._unregisterProvider(provider);
|
|
|
|
}));
|
|
|
|
|
|
|
|
RemoteSearch.loadRemoteSearchProviders(Lang.bind(this, function(providers) {
|
|
|
|
providers.forEach(Lang.bind(this, this._registerProvider));
|
|
|
|
}));
|
|
|
|
},
|
|
|
|
|
|
|
|
_registerProvider: function (provider) {
|
|
|
|
this._providers.push(provider);
|
|
|
|
this._ensureProviderDisplay(provider);
|
|
|
|
},
|
|
|
|
|
|
|
|
_unregisterProvider: function (provider) {
|
|
|
|
let index = this._providers.indexOf(provider);
|
|
|
|
this._providers.splice(index, 1);
|
|
|
|
|
|
|
|
if (provider.display)
|
|
|
|
provider.display.destroy();
|
|
|
|
},
|
|
|
|
|
|
|
|
_gotResults: function(results, provider) {
|
|
|
|
this._results[provider.id] = results;
|
|
|
|
this._updateResults(provider, results);
|
|
|
|
},
|
|
|
|
|
2014-09-11 17:15:50 -04:00
|
|
|
_doSearch: function() {
|
2014-09-11 17:47:49 -04:00
|
|
|
this._startingSearch = false;
|
|
|
|
|
2014-09-11 17:15:50 -04:00
|
|
|
let previousResults = this._results;
|
|
|
|
this._results = {};
|
|
|
|
|
|
|
|
this._providers.forEach(Lang.bind(this, function(provider) {
|
|
|
|
provider.searchInProgress = true;
|
|
|
|
|
|
|
|
let previousProviderResults = previousResults[provider.id];
|
|
|
|
if (this._isSubSearch && previousProviderResults)
|
|
|
|
provider.getSubsearchResultSet(previousProviderResults, this._terms, Lang.bind(this, this._gotResults, provider), this._cancellable);
|
|
|
|
else
|
|
|
|
provider.getInitialResultSet(this._terms, Lang.bind(this, this._gotResults, provider), this._cancellable);
|
|
|
|
}));
|
|
|
|
|
|
|
|
this._updateSearchProgress();
|
|
|
|
|
|
|
|
this._searchTimeoutId = 0;
|
|
|
|
return GLib.SOURCE_REMOVE;
|
|
|
|
},
|
|
|
|
|
|
|
|
setTerms: function(terms) {
|
|
|
|
this._startingSearch = true;
|
|
|
|
|
2014-09-11 15:45:51 -04:00
|
|
|
this._cancellable.cancel();
|
|
|
|
this._cancellable.reset();
|
|
|
|
|
2014-09-11 17:15:50 -04:00
|
|
|
if (!terms) {
|
2014-09-11 19:40:00 -04:00
|
|
|
if (this._searchTimeoutId > 0) {
|
|
|
|
this._searchTimeoutId = 0;
|
2014-09-11 17:15:50 -04:00
|
|
|
GLib.source_remove(this._searchTimeoutId);
|
2014-09-11 19:40:00 -04:00
|
|
|
}
|
2014-09-11 15:45:51 -04:00
|
|
|
return;
|
2014-09-11 17:15:50 -04:00
|
|
|
}
|
2014-09-11 15:45:51 -04:00
|
|
|
|
|
|
|
let searchString = terms.join(' ');
|
|
|
|
let previousSearchString = this._terms.join(' ');
|
|
|
|
if (searchString == previousSearchString)
|
|
|
|
return;
|
|
|
|
|
|
|
|
let isSubSearch = false;
|
|
|
|
if (this._terms.length > 0)
|
|
|
|
isSubSearch = searchString.indexOf(previousSearchString) == 0;
|
|
|
|
|
|
|
|
this._terms = terms;
|
2014-09-11 17:15:50 -04:00
|
|
|
this._isSubSearch = isSubSearch;
|
2014-09-11 17:47:49 -04:00
|
|
|
this._updateSearchProgress();
|
2014-09-11 17:15:50 -04:00
|
|
|
|
|
|
|
if (this._searchTimeoutId == 0)
|
|
|
|
this._searchTimeoutId = GLib.timeout_add(GLib.PRIORITY_DEFAULT, 150, Lang.bind(this, this._doSearch));
|
2013-10-29 15:49:05 -04:00
|
|
|
},
|
|
|
|
|
|
|
|
_onPan: function(action) {
|
|
|
|
let [dist, dx, dy] = action.get_motion_delta(0);
|
|
|
|
let adjustment = this._scrollView.vscroll.adjustment;
|
|
|
|
adjustment.value -= (dy / this.actor.height) * adjustment.page_size;
|
|
|
|
return false;
|
|
|
|
},
|
|
|
|
|
|
|
|
_keyFocusIn: function(provider, actor) {
|
|
|
|
Util.ensureActorVisibleInScrollView(this._scrollView, actor);
|
|
|
|
},
|
|
|
|
|
2013-10-30 12:38:46 -04:00
|
|
|
_ensureProviderDisplay: function(provider) {
|
|
|
|
if (provider.display)
|
|
|
|
return;
|
|
|
|
|
2013-10-29 16:13:32 -04:00
|
|
|
let providerDisplay;
|
|
|
|
if (provider.appInfo)
|
2013-10-29 15:49:05 -04:00
|
|
|
providerDisplay = new ListSearchResults(provider);
|
2013-10-29 16:13:32 -04:00
|
|
|
else
|
2014-09-11 17:47:49 -04:00
|
|
|
providerDisplay = new GridSearchResults(provider, this.actor);
|
2013-10-29 15:49:05 -04:00
|
|
|
|
|
|
|
providerDisplay.connect('key-focus-in', Lang.bind(this, this._keyFocusIn));
|
|
|
|
this._content.add(providerDisplay.actor);
|
2013-10-29 16:13:32 -04:00
|
|
|
provider.display = providerDisplay;
|
2013-10-29 15:49:05 -04:00
|
|
|
},
|
|
|
|
|
|
|
|
_clearDisplay: function() {
|
2014-09-11 15:45:51 -04:00
|
|
|
this._providers.forEach(function(provider) {
|
2013-10-29 16:13:32 -04:00
|
|
|
provider.display.clear();
|
|
|
|
});
|
2013-10-29 15:49:05 -04:00
|
|
|
},
|
|
|
|
|
|
|
|
_maybeSetInitialSelection: function() {
|
|
|
|
let newDefaultResult = null;
|
|
|
|
|
2014-09-11 15:45:51 -04:00
|
|
|
let providers = this._providers;
|
2013-10-29 16:13:32 -04:00
|
|
|
for (let i = 0; i < providers.length; i++) {
|
|
|
|
let provider = providers[i];
|
|
|
|
let display = provider.display;
|
2013-10-29 15:49:05 -04:00
|
|
|
|
|
|
|
if (!display.actor.visible)
|
|
|
|
continue;
|
|
|
|
|
|
|
|
let firstResult = display.getFirstResult();
|
|
|
|
if (firstResult) {
|
|
|
|
newDefaultResult = firstResult;
|
|
|
|
break; // select this one!
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
if (newDefaultResult != this._defaultResult) {
|
2014-08-20 12:39:02 -04:00
|
|
|
this._setSelected(this._defaultResult, false);
|
|
|
|
this._setSelected(newDefaultResult, this._highlightDefault);
|
2013-10-29 15:49:05 -04:00
|
|
|
|
|
|
|
this._defaultResult = newDefaultResult;
|
|
|
|
}
|
|
|
|
},
|
|
|
|
|
2014-09-11 17:47:49 -04:00
|
|
|
get searchInProgress() {
|
|
|
|
if (this._startingSearch)
|
|
|
|
return true;
|
|
|
|
|
|
|
|
return this._providers.some(function(provider) {
|
|
|
|
return provider.searchInProgress;
|
|
|
|
});
|
|
|
|
},
|
|
|
|
|
|
|
|
_updateSearchProgress: function () {
|
2014-09-11 15:45:51 -04:00
|
|
|
let haveResults = this._providers.some(function(provider) {
|
2013-10-29 16:13:32 -04:00
|
|
|
let display = provider.display;
|
|
|
|
return (display.getFirstResult() != null);
|
|
|
|
});
|
2013-10-29 15:49:05 -04:00
|
|
|
|
2014-09-11 17:47:49 -04:00
|
|
|
this._scrollView.visible = haveResults;
|
|
|
|
this._statusBin.visible = !haveResults;
|
|
|
|
|
2014-09-11 19:14:54 -04:00
|
|
|
if (!haveResults) {
|
2014-09-11 17:47:49 -04:00
|
|
|
if (this.searchInProgress) {
|
|
|
|
this._statusText.set_text(_("Searching…"));
|
|
|
|
} else {
|
|
|
|
this._statusText.set_text(_("No results."));
|
|
|
|
}
|
2014-09-11 19:14:54 -04:00
|
|
|
}
|
2013-10-29 15:49:05 -04:00
|
|
|
},
|
|
|
|
|
2014-09-11 15:45:51 -04:00
|
|
|
_updateResults: function(provider, results) {
|
|
|
|
let terms = this._terms;
|
2013-10-29 16:13:32 -04:00
|
|
|
let display = provider.display;
|
2013-10-29 15:49:05 -04:00
|
|
|
|
search: Make the internal search interface callback-based
Long ago, the search system worked in a synchronous manner: providers
were given a query, and results were collected in a single array of
[provider, results] pairs, and then the search display was updated
from that.
We introduced an asynchronous search system when we wanted to potentially
add a Zeitgeist search provider to the Shell in 3.2. For a while, search
providers were either async or sync, which worked by storing a dummy array
in the results, and adding a method for search providers to add results
later.
Later, we removed the search system entirely and ported the remaining
search providers to simply use the API to modify the empty array, but the
remains of the synchronous search system with its silly array still
lingered.
Finally, it's time to modernize. Promises^WCallbacks are the future.
Port the one remaining in-shell search engine (app search) to the new
callback based system, and simplify the remote search system in the
process.
2013-11-02 19:45:35 -04:00
|
|
|
display.updateSearch(results, terms, Lang.bind(this, function() {
|
2014-09-11 17:47:49 -04:00
|
|
|
provider.searchInProgress = false;
|
|
|
|
|
2013-10-29 15:49:05 -04:00
|
|
|
this._maybeSetInitialSelection();
|
2014-09-11 17:47:49 -04:00
|
|
|
this._updateSearchProgress();
|
2013-10-29 15:49:05 -04:00
|
|
|
}));
|
|
|
|
},
|
|
|
|
|
|
|
|
activateDefault: function() {
|
2014-09-11 17:15:50 -04:00
|
|
|
this._doSearch();
|
|
|
|
|
2013-10-29 15:49:05 -04:00
|
|
|
if (this._defaultResult)
|
|
|
|
this._defaultResult.activate();
|
|
|
|
},
|
|
|
|
|
|
|
|
highlightDefault: function(highlight) {
|
|
|
|
this._highlightDefault = highlight;
|
2014-08-20 12:39:02 -04:00
|
|
|
this._setSelected(this._defaultResult, highlight);
|
2013-10-29 15:49:05 -04:00
|
|
|
},
|
|
|
|
|
|
|
|
navigateFocus: function(direction) {
|
|
|
|
let rtl = this.actor.get_text_direction() == Clutter.TextDirection.RTL;
|
|
|
|
if (direction == Gtk.DirectionType.TAB_BACKWARD ||
|
|
|
|
direction == (rtl ? Gtk.DirectionType.RIGHT
|
|
|
|
: Gtk.DirectionType.LEFT) ||
|
|
|
|
direction == Gtk.DirectionType.UP) {
|
|
|
|
this.actor.navigate_focus(null, direction, false);
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
|
|
|
let from = this._defaultResult ? this._defaultResult.actor : null;
|
|
|
|
this.actor.navigate_focus(from, direction, false);
|
2014-08-20 12:39:02 -04:00
|
|
|
},
|
|
|
|
|
|
|
|
_setSelected: function(result, selected) {
|
|
|
|
if (!result)
|
|
|
|
return;
|
|
|
|
|
|
|
|
if (selected) {
|
|
|
|
result.actor.add_style_pseudo_class('selected');
|
|
|
|
Util.ensureActorVisibleInScrollView(this._scrollView, result.actor);
|
|
|
|
} else {
|
|
|
|
result.actor.remove_style_pseudo_class('selected');
|
|
|
|
}
|
2013-10-29 15:49:05 -04:00
|
|
|
}
|
|
|
|
});
|
|
|
|
|
|
|
|
const ProviderIcon = new Lang.Class({
|
|
|
|
Name: 'ProviderIcon',
|
|
|
|
Extends: St.Button,
|
|
|
|
|
|
|
|
PROVIDER_ICON_SIZE: 48,
|
|
|
|
|
|
|
|
_init: function(provider) {
|
|
|
|
this.provider = provider;
|
|
|
|
this.parent({ style_class: 'search-provider-icon',
|
|
|
|
reactive: true,
|
|
|
|
can_focus: true,
|
|
|
|
accessible_name: provider.appInfo.get_name(),
|
|
|
|
track_hover: true });
|
|
|
|
|
|
|
|
this._content = new St.Widget({ layout_manager: new Clutter.BinLayout() });
|
|
|
|
this.set_child(this._content);
|
|
|
|
|
|
|
|
let rtl = (this.get_text_direction() == Clutter.TextDirection.RTL);
|
|
|
|
|
|
|
|
this.moreIcon = new St.Widget({ style_class: 'search-provider-icon-more',
|
|
|
|
visible: false,
|
|
|
|
x_align: rtl ? Clutter.ActorAlign.START : Clutter.ActorAlign.END,
|
|
|
|
y_align: Clutter.ActorAlign.END,
|
|
|
|
x_expand: true,
|
|
|
|
y_expand: true });
|
|
|
|
|
|
|
|
let icon = new St.Icon({ icon_size: this.PROVIDER_ICON_SIZE,
|
|
|
|
gicon: provider.appInfo.get_icon() });
|
|
|
|
this._content.add_actor(icon);
|
|
|
|
this._content.add_actor(this.moreIcon);
|
2014-06-17 15:31:53 -04:00
|
|
|
},
|
|
|
|
|
|
|
|
animateLaunch: function() {
|
|
|
|
let appSys = Shell.AppSystem.get_default();
|
|
|
|
let app = appSys.lookup_app(this.provider.appInfo.get_id());
|
|
|
|
if (app.state == Shell.AppState.STOPPED)
|
|
|
|
IconGrid.zoomOutActor(this._content);
|
2013-10-29 15:49:05 -04:00
|
|
|
}
|
|
|
|
});
|