modules/history.js

   1
   2
   3 const nav_history_service = Cc["@mozilla.org/browser/nav-history-service;1"]
   4     .getService(Ci.nsINavHistoryService);
   5
   6 define_keywords("$use_webjumps", "$use_history", "$use_bookmarks");
   7 function history_completer() {
   8     keywords(arguments)
   9     var use_history = arguments.$use_history;
  10     var use_bookmarks = arguments.$use_bookmarks;
  11     return function (input, pos, conservative) {
  12         if (conservative && input.length == 0)
  13             return null;
  14         var query = nav_history_service.getNewQuery();
  15         query.searchTerms = input;
  16         if (!use_history)
  17             query.onlyBookmarked = true;
  18         var options = nav_history_service.getNewQueryOptions();
  19         options.sortingMode = options.SORT_BY_VISITCOUNT_DESCENDING;
  20         var root = nav_history_service.executeQuery(query, options).root;
  21         root.containerOpen = true;
  22         var history_count = root.childCount;
  23         return {count: history_count,
  24                 get_string: function (i) {
  25                     return root.getChild(i).uri;
  26                 },
  27                 get_description: function (i) {
  28                     return root.getChild(i).title;
  29                 },
  30                 apply: function (i, m) {
  31                     apply_completion_string(root.getChild(i).uri, m);
  32                 },
  33                 destroy: function () { root.containerOpen = false; }
  34                };
  35     }
  36 }
  37
  38 function webjump_completer() {
  39     return prefix_completer(
  40             $completions = function(visitor) {
  41                 for (var i in webjumps)
  42                     visitor([i,webjumps[i]]);
  43             },
  44             $get_string = function (x) x[0] + " ",
  45             $get_description = function (x) "");
  46 }
  47
  48 function url_completer() {
  49     keywords(arguments);
  50     var use_webjumps = arguments.$use_webjumps;
  51     var use_history = arguments.$use_history;
  52     var use_bookmarks = arguments.$use_bookmarks;
  53     var completers = [];
  54     completers.push(file_path_completer());
  55     if(use_webjumps) {
  56         completers.push(webjump_completer());
  57     }
  58     if(use_history || use_bookmarks) {
  59         completers.push(history_completer($use_history = use_history,
  60                                           $use_bookmarks = use_bookmarks));
  61     }
  62     return merge_completers(completers);
  63 }
  64
  65 const nav_bookmarks_service = Cc["@mozilla.org/browser/nav-bookmarks-service;1"].getService(Ci.nsINavBookmarksService);
  66
  67 function add_bookmark(url, title) {
  68     nav_bookmarks_service.insertBookmark(nav_bookmarks_service.unfiledBookmarksFolder,
  69                                          makeURL(url), -1, title);
  70 }