1 ## ELinks 0.12pre5 configuration file
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.
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?
17 ##############################
18 # Automatically saved options
22 # Configuration handling options.
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
34 # Options specific to this terminal type (according to $TERM value).
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
43 # User interface options.
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"
54 ##############################
55 # Automatically saved options
62 # Options specific to this terminal type (according to $TERM value).
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
77 ##############################
78 # Automatically saved options
85 # Default document color settings.
87 ## document.colors.link <color|#rrggbb>
89 set document.colors.link = "aqua"
91 ## document.colors.vlink <color|#rrggbb>
92 # Default visited link color.
93 set document.colors.vlink = "yellow"
95 ## document.colors.image <color|#rrggbb>
96 # Default image link color.
97 set document.colors.image = "darkolivegreen"
99 ## document.colors.bookmark <color|#rrggbb>
100 # Default bookmarked link color.
101 set document.colors.bookmark = "hotpink"
103 ## document.colors.dirs <color|#rrggbb>
104 # Default directory color.
106 # See document.browse.links.color_dirs option.
107 set document.colors.dirs = "yellow"