Add bookmarks support, improve url completion efficiency
commit8ee9fa161eec9e3f7c1683ba1295988d9c5c9930
authorJeremy Maitin-Shepard <jeremy@jeremyms.com>
Sat, 12 Jan 2008 01:02:01 +0000 (11 20:02 -0500)
committerJeremy Maitin-Shepard <jeremy@jeremyms.com>
Sat, 12 Jan 2008 01:02:01 +0000 (11 20:02 -0500)
treecb9998f76c0a0dafc74ef49ac95ac5067ed1445b
parent69f0de14b784d79527c28793665f6221b90e546b
Add bookmarks support, improve url completion efficiency

In order to use the built-in history query system, the customization
mechanism for URL completion was changed.  URL completion is now
customized by setting the boolean variables
`url_completion_use_webjumps', `url_completion_use_bookmarks', and
`url_completion_use_history'.
modules/bindings/default/content-buffer/element.js
modules/conkeror.js
modules/content-buffer.js
modules/element.js
modules/history.js [new file with mode: 0644]
modules/minibuffer-completion.js
modules/minibuffer.js