download-manager.js: fix bug resulting in un-killable special buffers
[conkeror.git] / modules / conkeror.js
blobb3fda86322a1869d75b7a20c6625e7792c531116
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 **/
8 var start_time = Date.now ();
10 require("keywords.js"); // not required to be listed as dep.
11 require("coroutine.js"); // not required to be listed as dep.
13 require("hook.js");
14 require("debug.js");
15 require("utils.js");
16 require("interactive.js");
17 require("minibuffer.js"); // depends: interactive.js
18 require("minibuffer-read.js");
19 require("minibuffer-read-option.js");
20 require("minibuffer-completion.js");
21 require("minibuffer-read-file.js");
22 require("timer.js");
23 require("spawn-process.js");
24 require("mime.js");
25 require("keyboard.js");
26 require("buffer.js");
27 require("window.js");
28 require("download-manager.js");
31 require("universal-argument.js");
32 require("commands.js"); // depends: interactive.js
33 require("webjump.js"); // depends: interactive.js
34 require("history.js");
36 require("save.js");
38 require("zoom.js");
39 require("element.js");
40 require("follow-relationship.js");
42 require("find.js");
44 require("hints.js");
46 require("help.js");
48 require("rc.js");
50 require("ssl.js");
52 require("media.js");
54 require("command-line.js");
56 require("search-engine.js");
58 require("permission-manager.js");