gryf/pentadactyl-pm
1
0
Fork 0
mirror of https://github.com/gryf/pentadactyl-pm.git synced 2025-12-23 14:52:28 +01:00
Code Issues Projects Releases Wiki Activity

Dont die if the history completion service isnt available

Browse Source
This commit is contained in:
Kris Maglione
2008-10-06 22:00:30 +00:00
parent 2b5daac844
commit 23199b84d1
1 changed files with 8 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
content/completion.js
View File

@@ -32,8 +32,12 @@ liberator.Completion = function () //{{{
////////////////////// PRIVATE SECTION ///////////////////////////////////////// ////////////////////// PRIVATE SECTION /////////////////////////////////////////
/////////////////////////////////////////////////////////////////////////////{{{ /////////////////////////////////////////////////////////////////////////////{{{
var completionService = Components.classes["@mozilla.org/browser/global-history;2"] try
.getService(Components.interfaces.nsIAutoCompleteSearch); {
var completionService = Components.classes["@mozilla.org/browser/global-history;2"]
.getService(Components.interfaces.nsIAutoCompleteSearch);
}
catch (e) {}
// the completion substrings, used for showing the longest common match // the completion substrings, used for showing the longest common match
var cacheFilter = {}; var cacheFilter = {};
@@ -500,8 +504,9 @@ liberator.Completion = function () //{{{
completions.push(liberator.bookmarks.get(filter).map(function (a) [a[0], a[1], a[5]])); completions.push(liberator.bookmarks.get(filter).map(function (a) [a[0], a[1], a[5]]));
else if (c == "h") else if (c == "h")
completions.push(liberator.history.get(filter)); completions.push(liberator.history.get(filter));
else if (c == "l") // add completions like Firefox's smart location bar else if (c == "l" && completionService) // add completions like Firefox's smart location bar
{ {
completionService.stopSearch();
completionService.startSearch(filter, "", historyResult, { completionService.startSearch(filter, "", historyResult, {
onSearchResult: function (search, result) { onSearchResult: function (search, result) {
historyResult = result; historyResult = result;