Lines 12-19
Link Here
|
12 |
# obsolete config.saving_style. You shouldn't touch it. |
12 |
# obsolete config.saving_style. You shouldn't touch it. |
13 |
set config.saving_style_w = 1 |
13 |
set config.saving_style_w = 1 |
14 |
|
14 |
|
15 |
## terminal.linux.charset <codepage> |
|
|
16 |
set terminal.linux.charset = "us-ascii" |
17 |
## terminal.linux.transparency [0|1] |
15 |
## terminal.linux.transparency [0|1] |
18 |
set terminal.linux.transparency = 1 |
16 |
set terminal.linux.transparency = 1 |
19 |
## terminal.linux.colors [0|1] |
17 |
## terminal.linux.colors [0|1] |
Lines 29-36
Link Here
|
29 |
## terminal.linux.type <num> |
27 |
## terminal.linux.type <num> |
30 |
set terminal.linux.type = 2 |
28 |
set terminal.linux.type = 2 |
31 |
|
29 |
|
32 |
## terminal.vt100.charset <codepage> |
|
|
33 |
set terminal.vt100.charset = "us-ascii" |
34 |
## terminal.vt100.transparency [0|1] |
30 |
## terminal.vt100.transparency [0|1] |
35 |
set terminal.vt100.transparency = 1 |
31 |
set terminal.vt100.transparency = 1 |
36 |
## terminal.vt100.colors [0|1] |
32 |
## terminal.vt100.colors [0|1] |
Lines 46-53
Link Here
|
46 |
## terminal.vt100.type <num> |
42 |
## terminal.vt100.type <num> |
47 |
set terminal.vt100.type = 1 |
43 |
set terminal.vt100.type = 1 |
48 |
|
44 |
|
49 |
## terminal.vt110.charset <codepage> |
|
|
50 |
set terminal.vt110.charset = "us-ascii" |
51 |
## terminal.vt110.transparency [0|1] |
45 |
## terminal.vt110.transparency [0|1] |
52 |
set terminal.vt110.transparency = 1 |
46 |
set terminal.vt110.transparency = 1 |
53 |
## terminal.vt110.colors [0|1] |
47 |
## terminal.vt110.colors [0|1] |
Lines 63-70
Link Here
|
63 |
## terminal.vt110.type <num> |
57 |
## terminal.vt110.type <num> |
64 |
set terminal.vt110.type = 1 |
58 |
set terminal.vt110.type = 1 |
65 |
|
59 |
|
66 |
## terminal.xterm.charset <codepage> |
|
|
67 |
set terminal.xterm.charset = "us-ascii" |
68 |
## terminal.xterm.transparency [0|1] |
60 |
## terminal.xterm.transparency [0|1] |
69 |
set terminal.xterm.transparency = 1 |
61 |
set terminal.xterm.transparency = 1 |
70 |
## terminal.xterm.colors [0|1] |
62 |
## terminal.xterm.colors [0|1] |
Lines 80-87
Link Here
|
80 |
## terminal.xterm.type <num> |
72 |
## terminal.xterm.type <num> |
81 |
set terminal.xterm.type = 1 |
73 |
set terminal.xterm.type = 1 |
82 |
|
74 |
|
83 |
## terminal.xterm-color.charset <codepage> |
|
|
84 |
set terminal.xterm-color.charset = "us-ascii" |
85 |
## terminal.xterm-color.transparency [0|1] |
75 |
## terminal.xterm-color.transparency [0|1] |
86 |
set terminal.xterm-color.transparency = 1 |
76 |
set terminal.xterm-color.transparency = 1 |
87 |
## terminal.xterm-color.colors [0|1] |
77 |
## terminal.xterm-color.colors [0|1] |
Lines 96-103
Link Here
|
96 |
set terminal.xterm-color.m11_hack = 0 |
86 |
set terminal.xterm-color.m11_hack = 0 |
97 |
## terminal.xterm-color.type <num> |
87 |
## terminal.xterm-color.type <num> |
98 |
set terminal.xterm-color.type = 1 |
88 |
set terminal.xterm-color.type = 1 |
99 |
## terminal.screen.charset <codepage> |
89 |
|
100 |
set terminal.screen.charset = "us-ascii" |
|
|
101 |
## terminal.screen.transparency [0|1] |
90 |
## terminal.screen.transparency [0|1] |
102 |
set terminal.screen.transparency = 1 |
91 |
set terminal.screen.transparency = 1 |
103 |
## terminal.screen.colors [0|1] |
92 |
## terminal.screen.colors [0|1] |
Lines 270-279
Link Here
|
270 |
|
259 |
|
271 |
|
260 |
|
272 |
|
261 |
|
273 |
## document.codepage.assume <codepage> |
|
|
274 |
# Default document codepage. |
275 |
set document.codepage.assume = "ISO-8859-1" |
276 |
|
277 |
## document.codepage.force_assumed [0|1] |
262 |
## document.codepage.force_assumed [0|1] |
278 |
# Ignore charset info sent by server. |
263 |
# Ignore charset info sent by server. |
279 |
set document.codepage.force_assumed = 0 |
264 |
set document.codepage.force_assumed = 0 |
Lines 343-352
Link Here
|
343 |
|
328 |
|
344 |
|
329 |
|
345 |
|
330 |
|
346 |
## document.dump.codepage <codepage> |
|
|
347 |
# Codepage used in dump output. |
348 |
set document.dump.codepage = "us-ascii" |
349 |
|
350 |
## document.dump.width <num> |
331 |
## document.dump.width <num> |
351 |
# Width of screen in characters when dumping a HTML document. |
332 |
# Width of screen in characters when dumping a HTML document. |
352 |
set document.dump.width = 80 |
333 |
set document.dump.width = 80 |