gryf/pentadactyl-pm
1
0
Fork 0
mirror of https://github.com/gryf/pentadactyl-pm.git synced 2025-12-24 03:22:26 +01:00
Code Issues Projects Releases Wiki Activity

Add search keyword-history completion (try typing a keyword), better JS completion, better errors in :so, check "preload" before preloading history/bookmarks, Object/Function highlighting, some other bug fixes.

Browse Source
This commit is contained in:
Kris Maglione
2008-10-08 02:56:11 +00:00
parent 02c1d2fbdf
commit 10376ecb77
12 changed files with 168 additions and 90 deletions
Download Patch File Download Diff File Expand all files Collapse all files

26
content/bookmarks.js
View File

@@ -193,6 +193,11 @@ liberator.Bookmarks = function () //{{{
liberator.storage.removeObserver("bookmark-cache", bookmarkObserver)
});
liberator.registerObserver("enter", function () {
if (liberator.options["preload"])
cache.bookmarks; // Forces a load, if not already loaded.
});
/////////////////////////////////////////////////////////////////////////////}}}
////////////////////// OPTIONS /////////////////////////////////////////////////
/////////////////////////////////////////////////////////////////////////////{{{
@@ -533,12 +538,9 @@ liberator.History = function () //{{{
return faviconService.getFaviconImageForPage(ioService.newURI(uri, null, null)).spec;
}
var history = [];
var history;
var cachedHistory = []; // add pages here after loading the initial Places history
if (liberator.options["preload"])
setTimeout(function () { load(); }, 100);
function load()
{
history = [];
@@ -556,7 +558,7 @@ liberator.History = function () //{{{
for (let i = 0; i < rootNode.childCount; i++)
{
var node = rootNode.getChild(i);
//liberator.dump("History child " + node.itemId + ": " + node.title + " - " + node.type + "\n");
// liberator.dump("History child " + node.itemId + ": " + node.title + " - " + node.type);
if (node.type == node.RESULT_TYPE_URI) // just make sure it's a bookmark
history.push([node.uri, node.title || "[No title]", getIcon(node.uri)]);
}
@@ -565,6 +567,11 @@ liberator.History = function () //{{{
rootNode.containerOpen = false;
}
liberator.registerObserver("enter", function () {
if (liberator.options["preload"])
load();
});
/////////////////////////////////////////////////////////////////////////////}}}
////////////////////// MAPPINGS ////////////////////////////////////////////////
/////////////////////////////////////////////////////////////////////////////{{{
@@ -710,6 +717,8 @@ liberator.History = function () //{{{
if (!history)
load();
if (!filter)
return cachedHistory.concat(history);
return liberator.completion.cached("history", filter, function() cachedHistory.concat(history),
"filterURLArray");
},
@@ -721,14 +730,17 @@ liberator.History = function () //{{{
if (!history)
load();
// don' let cachedHistory grow too large
let filter = function (h) h[0] != url;
// don't let cachedHistory grow too large
if (cachedHistory.length > 1000)
{
history = cachedHistory.concat(history);
cachedHistory = [];
}
else
cachedHistory = cachedHistory.filter(function (elem) elem[0] != url);
cachedHistory = cachedHistory.filter(filter);
if (history.some(function (h) h[0] == url))
history = history.filter(filter);
cachedHistory.unshift([url, title || "[No title]", getIcon(url)]);
return true;