modules/conkeror.js

   1 /**
   2  * (C) Copyright 2007-2008 Jeremy Maitin-Shepard
   3  * (C) Copyright 2009-2010 John J. Foerch
   4  *
   5  * Use, modification, and distribution are subject to the terms specified in the
   6  * COPYING file.
   7 **/
   8
   9 in_module(null);
  10
  11 var start_time = Date.now();
  12
  13 require("keywords.js", null);
  14 require("labels.js", null);
  15 require("coroutine.js", null);
  16 require("debug.js", null);
  17 require("hook.js", null);
  18 require("timer.js", null);
  19 require("pretty-print.js", null);
  20 require("services.js", null);
  21
  22 require("string.js", null);
  23 require("pref.js", null);
  24 require("env.js", null);
  25 require("source-code.js", null);
  26 require("user-variable.js", null);
  27 require("stylesheet.js", null);
  28 require("array.js", null);
  29 require("builtin-commands.js", null);
  30 require("text.js", null);
  31
  32 require("user-agent.js", null);
  33 require("utils.js", null);
  34 require("interactive.js", null);
  35 require("minibuffer.js", null);
  36 require("minibuffer-read.js", null);
  37 require("minibuffer-read-option.js", null);
  38 require("minibuffer-completion.js", null);
  39 require("minibuffer-read-file.js", null);
  40 require("spawn-process.js", null);
  41 require("mime.js", null);
  42 require("keymap.js", null);
  43 require("input.js", null);
  44 require("buffer.js", null);
  45 require("window.js", null);
  46 require("content-handler.js", null);
  47 require("download-manager.js", null);
  48
  49 require("element.js", null);
  50
  51 require("content-buffer.js", null);
  52 require("content-buffer-input.js", null);
  53 require("quote.js", null);
  54 require("caret.js", null);
  55
  56 require("universal-argument.js", null);
  57 require("commands.js", null);
  58 require("webjump.js", null);
  59 require("history.js", null);
  60 require("scroll.js", null);
  61
  62 require("save.js", null);
  63
  64 require("zoom.js", null);
  65 require("follow-relationship.js", null);
  66
  67 require("isearch.js", null);
  68
  69 require("hints.js", null);
  70
  71 require("help.js", null);
  72
  73 require("rc.js", null);
  74
  75 require("ssl.js", null);
  76
  77 require("media.js", null);
  78
  79 require("command-line.js", null);
  80
  81 require("opensearch.js", null);
  82
  83 require("permission-manager.js", null);
  84 require("cookie.js", null);
  85 require("cache.js", null);
  86
  87 require("theme.js", null);
  88 require("formfill.js", null);
  89
  90
  91 define_variable("cwd", get_home_directory(),
  92     "Current working directory, also known as your default download "+
  93     "and shell-command directory.  It will often have a buffer-local "+
  94     "value.");
  95
  96
  97 /* Re-define load_paths as a user variable. */
  98 define_variable("load_paths", load_paths,
  99     "Array of URL prefixes searched in order when loading a module.\n"+
 100     "Each entry must end in a slash, and should begin with file:// or "+
 101     "chrome://.");
 102
 103 provide("conkeror");