modules/conkeror.js

   1 /**
   2  * (C) Copyright 2007-2008 Jeremy Maitin-Shepard
   3  *
   4  * Use, modification, and distribution are subject to the terms specified in the
   5  * COPYING file.
   6 **/
   7
   8 var start_time = Date.now ();
   9
  10 require("keywords.js"); // not required to be listed as dep.
  11 require("labels.js"); // not required to be listed as a dep.
  12 require("coroutine.js"); // not required to be listed as dep.
  13
  14 require("hook.js");
  15 require("debug.js");
  16 require("utils.js");
  17 require("interactive.js");
  18 require("minibuffer.js"); // depends: interactive.js
  19 require("minibuffer-read.js");
  20 require("minibuffer-read-option.js");
  21 require("minibuffer-completion.js");
  22 require("minibuffer-read-file.js");
  23 require("timer.js");
  24 require("spawn-process.js");
  25 require("mime.js");
  26 require("keyboard.js");
  27 require("buffer.js");
  28 require("window.js");
  29 require("download-manager.js");
  30
  31
  32 require("universal-argument.js");
  33 require("commands.js"); // depends: interactive.js
  34 require("webjump.js"); // depends: interactive.js
  35 require("history.js");
  36
  37 require("save.js");
  38
  39 require("zoom.js");
  40 require("element.js");
  41 require("follow-relationship.js");
  42
  43 require("find.js");
  44
  45 require("hints.js");
  46
  47 require("help.js");
  48
  49 require("rc.js");
  50
  51 require("ssl.js");
  52
  53 require("media.js");
  54
  55 require("command-line.js");
  56
  57 require("search-engine.js");
  58
  59 require("permission-manager.js");