1
// -*- mode: js; js-indent-level: 4; indent-tabs-mode: nil -*-
3
const DocInfo = imports.misc.docInfo;
4
const Params = imports.misc.params;
5
const Search = imports.ui.search;
8
function DocSearchProvider() {
12
DocSearchProvider.prototype = {
13
__proto__: Search.SearchProvider.prototype,
15
_init: function(name) {
16
Search.SearchProvider.prototype._init.call(this, _("RECENT ITEMS"));
17
this._docManager = DocInfo.getDocManager();
20
getResultMeta: function(resultId) {
21
let docInfo = this._docManager.lookupByUri(resultId);
24
return { 'id': resultId,
26
'createIcon': function(size) {
27
return docInfo.createIcon(size);
32
activateResult: function(id, params) {
33
params = Params.parse(params, { workspace: -1,
36
let docInfo = this._docManager.lookupByUri(id);
37
docInfo.launch(params.workspace);
40
getInitialResultSet: function(terms) {
41
return this._docManager.initialSearch(terms);
44
getSubsearchResultSet: function(previousResults, terms) {
45
return this._docManager.subsearch(previousResults, terms);