2015-07-08 22:32:20 +00:00
|
|
|
{
|
2015-08-03 16:38:30 +00:00
|
|
|
"name": "Search",
|
2015-07-09 18:16:55 +00:00
|
|
|
"description": "Allows the user to search through the file tree.",
|
2015-07-08 22:32:20 +00:00
|
|
|
"extensions": {
|
2015-08-04 18:48:28 +00:00
|
|
|
"constants": [
|
|
|
|
{
|
|
|
|
"key": "GENERIC_SEARCH_ROOTS",
|
|
|
|
"value": [ "ROOT" ],
|
|
|
|
"priority": "fallback"
|
|
|
|
}
|
|
|
|
],
|
2015-07-16 17:35:26 +00:00
|
|
|
"components": [
|
2015-07-13 17:34:06 +00:00
|
|
|
{
|
2015-07-16 17:35:26 +00:00
|
|
|
"provides": "searchService",
|
|
|
|
"type": "provider",
|
2015-08-04 18:05:32 +00:00
|
|
|
"implementation": "GenericSearchProvider.js",
|
2015-08-12 16:42:21 +00:00
|
|
|
"depends": [ "$q", "$timeout", "objectService", "workerService", "GENERIC_SEARCH_ROOTS" ]
|
2015-07-16 17:35:26 +00:00
|
|
|
},
|
|
|
|
{
|
|
|
|
"provides": "searchService",
|
|
|
|
"type": "aggregator",
|
2015-07-27 19:59:32 +00:00
|
|
|
"implementation": "SearchAggregator.js",
|
2015-07-29 22:07:13 +00:00
|
|
|
"depends": [ "$q" ]
|
2015-07-13 17:34:06 +00:00
|
|
|
}
|
2015-07-21 16:44:14 +00:00
|
|
|
],
|
|
|
|
"workers": [
|
|
|
|
{
|
|
|
|
"key": "genericSearchWorker",
|
2015-08-17 17:45:02 +00:00
|
|
|
"scriptUrl": "GenericSearchWorker.js"
|
2015-07-21 16:44:14 +00:00
|
|
|
}
|
2015-07-08 22:32:20 +00:00
|
|
|
]
|
|
|
|
}
|
2015-08-17 17:45:02 +00:00
|
|
|
}
|