Commit | Line | Data |
---|---|---|
3ec64a11 MW |
1 | ## ELinks 0.12pre5 configuration file |
2 | ||
3 | ## This is ELinks configuration file. You can edit it manually, | |
4 | ## if you wish so; this file is edited by ELinks when you save | |
5 | ## options through UI, however only option values will be altered | |
6 | ## and missing options will be added at the end of file; if option | |
7 | ## is not written in this file, but in some file included from it, | |
8 | ## it is NOT counted as missing. Note that all your formatting, | |
9 | ## own comments and so on will be kept as-is. | |
10 | ## | |
11 | ## Obviously, if you don't like what ELinks is going to do with | |
12 | ## this file, you can change it by altering the config.saving_style | |
13 | ## option. Come on, aren't we friendly guys after all? | |
14 | ||
15 | ||
16 | ||
17 | ############################## | |
18 | # Automatically saved options | |
19 | # | |
20 | ||
21 | ## config | |
22 | # Configuration handling options. | |
23 | ||
24 | ## config.saving_style_w [0|1] | |
25 | # This is internal option used when displaying a warning about obsolete | |
26 | # config.saving_style. You shouldn't touch it. | |
27 | set config.saving_style_w = 1 | |
28 | ||
29 | ||
30 | ## terminal | |
31 | # Terminal options. | |
32 | ||
33 | ## terminal.xterm | |
34 | # Options specific to this terminal type (according to $TERM value). | |
35 | ||
36 | ## terminal.xterm.colors <num> | |
37 | set terminal.xterm.colors = 3 | |
38 | ## terminal.xterm.utf_8_io [0|1] | |
39 | set terminal.xterm.utf_8_io = 1 | |
40 | ||
41 | ||
42 | ## ui | |
43 | # User interface options. | |
44 | ||
45 | ## ui.language <language> | |
46 | # Language of user interface. 'System' means that the language will be | |
47 | # extracted from the environment dynamically. | |
48 | set ui.language = "System" | |
49 | ||
50 | ||
51 | ||
52 | ||
53 | ||
54 | ############################## | |
55 | # Automatically saved options | |
56 | # | |
57 | ||
58 | ## terminal | |
59 | # Terminal options. | |
60 | ||
61 | ## terminal.screen | |
62 | # Options specific to this terminal type (according to $TERM value). | |
63 | ||
64 | ## terminal.screen.colors <num> | |
65 | set terminal.screen.colors = 1 | |
66 | ## terminal.screen.block_cursor [0|1] | |
67 | set terminal.screen.block_cursor = 1 | |
68 | ## terminal.screen.utf_8_io [0|1] | |
69 | set terminal.screen.utf_8_io = 1 | |
70 | ## terminal.screen.type <num> | |
71 | set terminal.screen.type = 1 | |
72 | ||
73 | ||
26e50f40 MW |
74 | |
75 | ||
76 | ||
77 | ############################## | |
78 | # Automatically saved options | |
79 | # | |
80 | ||
81 | ## document | |
82 | # Document options. | |
83 | ||
84 | ## document.colors | |
85 | # Default document color settings. | |
86 | ||
87 | ## document.colors.link <color|#rrggbb> | |
88 | # Default link color. | |
89 | set document.colors.link = "aqua" | |
90 | ||
91 | ## document.colors.vlink <color|#rrggbb> | |
92 | # Default visited link color. | |
93 | set document.colors.vlink = "yellow" | |
94 | ||
95 | ## document.colors.image <color|#rrggbb> | |
96 | # Default image link color. | |
97 | set document.colors.image = "darkolivegreen" | |
98 | ||
99 | ## document.colors.bookmark <color|#rrggbb> | |
100 | # Default bookmarked link color. | |
101 | set document.colors.bookmark = "hotpink" | |
102 | ||
103 | ## document.colors.dirs <color|#rrggbb> | |
104 | # Default directory color. | |
105 | # | |
106 | # See document.browse.links.color_dirs option. | |
107 | set document.colors.dirs = "yellow" | |
108 | ||
109 | ||
110 |