chiark - git - mdw - profile/blob - dot/elinks.conf

   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
  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