-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy path.conkerorrc
107 lines (85 loc) · 4.96 KB
/
.conkerorrc
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
// -*- mode: javascript -*-
require("page-modes/gmail");
require("page-modes/google-search-results");
require("page-modes/reddit");
require("tab-bar.js");
hints_auto_exit_delay=250;
user_pref("layout.spellcheckDefault", 2);
url_completion_use_history = true;
url_completion_use_bookmarks = true;
define_key(default_global_keymap, "C-o", "find-url-new-buffer");
define_key(default_global_keymap, "f1", "kill-buffer");
define_key(default_global_keymap, "C-right", "forward");
define_key(default_global_keymap, "C-left", "back");
define_key(default_global_keymap, "M-]", "buffer-next");
define_key(default_global_keymap, "M-[", "buffer-previous");
define_key(default_global_keymap, "C-tab", "buffer-next");
define_key(default_global_keymap, "C-i", "isearch-forward");
define_key(content_buffer_normal_keymap, "back_space", "back");
define_key(content_buffer_normal_keymap, "C-back_space", "forward");
define_key(content_buffer_normal_keymap, "context_menu-/", "switch-to-buffer");
define_browser_object_class(
"history-url", null,
function (I, prompt) {
check_buffer (I.buffer, content_buffer);
var result = yield I.buffer.window.minibuffer.read_url(
$prompt = prompt, $use_webjumps = false, $use_history = true, $use_bookmarks = false);
yield co_return (result);
});
interactive("find-url-from-history",
"Find a page from history in the current buffer",
"find-url",
$browser_object = browser_object_history_url);
interactive("find-url-from-history-new-buffer",
"Find a page from history in the current buffer",
"find-url-new-buffer",
$browser_object = browser_object_history_url);
define_key(content_buffer_normal_keymap, "h", "find-url-from-history-new-buffer");
define_key(content_buffer_normal_keymap, "H", "find-url-from-history");
require("favicon.js");
interactive("readability_arc90",
"Readability is a simple tool that makes reading on the web more enjoyable by removing the clutter around what you are reading",
function readability_arc90(I) {
var document = I.window.buffers.current.document;
var readConvertLinksToFootnotes = false;
var readStyle = 'style-newspaper';
var readSize = 'size-medium';
var readMargin = 'margin-wide';
var _readability_readStyle = document.createElement('SCRIPT');
_readability_readStyle.text = 'var readStyle = \'' + readStyle + '\';';
document.getElementsByTagName('head')[0].appendChild(_readability_readStyle);
var _readability_readSize = document.createElement('SCRIPT');
_readability_readSize.text = 'var readSize = \'' + readSize + '\';';
document.getElementsByTagName('head')[0].appendChild(_readability_readSize);
var _readability_readMargin = document.createElement('SCRIPT');
_readability_readMargin.text = 'var readMargin = \'' + readMargin + '\';';
document.getElementsByTagName('head')[0].appendChild(_readability_readMargin);
var _readability_readConvertLinksToFootnotes = document.createElement('SCRIPT');
_readability_readConvertLinksToFootnotes.text = 'var readConvertLinksToFootnotes = ' + readConvertLinksToFootnotes + ';';
document.getElementsByTagName('head')[0].appendChild(_readability_readConvertLinksToFootnotes);
var _readability_script = document.createElement('script')
_readability_script.type='text/javascript'
_readability_script.src='http://lab.arc90.com/experiments/readability/js/readability.js?x='+(Math.random())
document.documentElement.appendChild(_readability_script)
var _readability_css = document.createElement('link')
_readability_css.rel = 'stylesheet'
_readability_css.href = 'http://lab.arc90.com/experiments/readability/css/readability.css'
_readability_css.type = 'text/css'
_readability_css.media = 'all'
document.documentElement.appendChild(_readability_css)
var _readability_print_css = document.createElement('link')
_readability_print_css.rel = 'stylesheet'
_readability_print_css.href = 'http://lab.arc90.com/experiments/readability/css/readability-print.css'
_readability_print_css.media = 'print'
_readability_print_css.type = 'text/css'
document.getElementsByTagName('head')[0].appendChild(_readability_print_css)
});
define_key(content_buffer_normal_keymap, "`", "readability_arc90");
register_user_stylesheet(
"data:text/css," +
escape(
"@namespace url(\"http://www.w3.org/1999/xhtml\");\n" +
"span.__conkeror_hint {\n"+
" font-size: 18px !important;\n"+
" line-height: 18px !important;\n"+
"}"));