525 lines
15 KiB
Plaintext
525 lines
15 KiB
Plaintext
## ELinks 0.16.1.1 configuration file
|
|
|
|
## This is ELinks configuration file. You can edit it manually,
|
|
## if you wish so; this file is edited by ELinks when you save
|
|
## options through UI, however only option values will be altered
|
|
## and missing options will be added at the end of file; if option
|
|
## is not written in this file, but in some file included from it,
|
|
## it is NOT counted as missing. Note that all your formatting,
|
|
## own comments and so on will be kept as-is.
|
|
##
|
|
## Obviously, if you don't like what ELinks is going to do with
|
|
## this file, you can change it by altering the config.saving_style
|
|
## option. Come on, aren't we friendly guys after all?
|
|
|
|
|
|
|
|
##############################
|
|
# Automatically saved options
|
|
#
|
|
|
|
## config
|
|
# Configuration handling options.
|
|
|
|
## config.saving_style_w [0|1]
|
|
# This is internal option used when displaying a warning about obsolete
|
|
# config.saving_style. You shouldn't touch it.
|
|
set config.saving_style_w = 1
|
|
|
|
|
|
## terminal
|
|
# Terminal options.
|
|
|
|
## terminal.st-256color
|
|
# Options specific to this terminal type (according to $TERM value).
|
|
|
|
## terminal.st-256color.transparency [0|1]
|
|
set terminal.st-256color.transparency = 1
|
|
|
|
|
|
## ui
|
|
# User interface options.
|
|
|
|
## ui.language <language>
|
|
# Language of user interface. 'System' means that the language will be
|
|
# extracted from the environment dynamically.
|
|
set ui.language = "System"
|
|
|
|
|
|
|
|
|
|
|
|
##############################
|
|
# Automatically saved options
|
|
#
|
|
|
|
## terminal
|
|
# Terminal options.
|
|
|
|
## terminal.st-256color
|
|
# Options specific to this terminal type (according to $TERM value).
|
|
|
|
## terminal.st-256color.colors <num>
|
|
set terminal.st-256color.colors = 1
|
|
|
|
|
|
|
|
|
|
|
|
##############################
|
|
# Automatically saved options
|
|
#
|
|
|
|
## cookies
|
|
# Cookies options.
|
|
|
|
## cookies.accept_policy <num>
|
|
# Cookies accepting policy:
|
|
# 0 is accept no cookies
|
|
# 1 is ask for confirmation before accepting cookie
|
|
# 2 is accept all cookies
|
|
set cookies.accept_policy = 0
|
|
|
|
|
|
## ui
|
|
# User interface options.
|
|
|
|
## ui.colors
|
|
# Default user interface color settings.
|
|
|
|
## ui.colors.color
|
|
# Color settings for color terminal.
|
|
|
|
## ui.colors.color.mainmenu
|
|
# Main menu bar colors.
|
|
|
|
## ui.colors.color.mainmenu.normal
|
|
# Unselected main menu bar item colors.
|
|
|
|
## ui.colors.color.mainmenu.normal.text <color|#rrggbb>
|
|
# Default text color.
|
|
set ui.colors.color.mainmenu.normal.text = "white"
|
|
|
|
## ui.colors.color.mainmenu.normal.background <color|#rrggbb>
|
|
# Default background color.
|
|
set ui.colors.color.mainmenu.normal.background = "black"
|
|
|
|
|
|
## ui.colors.color.mainmenu.selected
|
|
# Selected main menu bar item colors.
|
|
|
|
## ui.colors.color.mainmenu.selected.text <color|#rrggbb>
|
|
# Default text color.
|
|
set ui.colors.color.mainmenu.selected.text = "black"
|
|
|
|
## ui.colors.color.mainmenu.selected.background <color|#rrggbb>
|
|
# Default background color.
|
|
set ui.colors.color.mainmenu.selected.background = "white"
|
|
|
|
|
|
## ui.colors.color.mainmenu.hotkey
|
|
# Main menu hotkey colors.
|
|
|
|
## ui.colors.color.mainmenu.hotkey.normal
|
|
# Main menu unselected hotkey colors.
|
|
|
|
## ui.colors.color.mainmenu.hotkey.normal.text <color|#rrggbb>
|
|
# Default text color.
|
|
set ui.colors.color.mainmenu.hotkey.normal.text = "black"
|
|
|
|
## ui.colors.color.mainmenu.hotkey.normal.background <color|#rrggbb>
|
|
# Default background color.
|
|
set ui.colors.color.mainmenu.hotkey.normal.background = "white"
|
|
|
|
|
|
## ui.colors.color.mainmenu.hotkey.selected
|
|
# Main menu selected hotkey colors.
|
|
|
|
## ui.colors.color.mainmenu.hotkey.selected.text <color|#rrggbb>
|
|
# Default text color.
|
|
set ui.colors.color.mainmenu.hotkey.selected.text = "white"
|
|
|
|
## ui.colors.color.mainmenu.hotkey.selected.background <color|#rrggbb>
|
|
# Default background color.
|
|
set ui.colors.color.mainmenu.hotkey.selected.background = "black"
|
|
|
|
|
|
|
|
|
|
## ui.colors.color.menu
|
|
# Menu bar colors.
|
|
|
|
## ui.colors.color.menu.normal
|
|
# Unselected menu item colors.
|
|
|
|
## ui.colors.color.menu.normal.text <color|#rrggbb>
|
|
# Default text color.
|
|
set ui.colors.color.menu.normal.text = "white"
|
|
|
|
## ui.colors.color.menu.normal.background <color|#rrggbb>
|
|
# Default background color.
|
|
set ui.colors.color.menu.normal.background = "black"
|
|
|
|
|
|
## ui.colors.color.menu.selected
|
|
# Selected menu item colors.
|
|
|
|
## ui.colors.color.menu.selected.text <color|#rrggbb>
|
|
# Default text color.
|
|
set ui.colors.color.menu.selected.text = "black"
|
|
|
|
## ui.colors.color.menu.selected.background <color|#rrggbb>
|
|
# Default background color.
|
|
set ui.colors.color.menu.selected.background = "white"
|
|
|
|
|
|
## ui.colors.color.menu.marked
|
|
# Marked menu item colors.
|
|
|
|
## ui.colors.color.menu.marked.text <color|#rrggbb>
|
|
# Default text color.
|
|
set ui.colors.color.menu.marked.text = "red"
|
|
|
|
## ui.colors.color.menu.marked.background <color|#rrggbb>
|
|
# Default background color.
|
|
set ui.colors.color.menu.marked.background = "black"
|
|
|
|
|
|
## ui.colors.color.menu.hotkey
|
|
# Menu item hotkey colors.
|
|
|
|
## ui.colors.color.menu.hotkey.normal
|
|
# Menu item unselected hotkey colors.
|
|
|
|
## ui.colors.color.menu.hotkey.normal.text <color|#rrggbb>
|
|
# Default text color.
|
|
set ui.colors.color.menu.hotkey.normal.text = "black"
|
|
|
|
## ui.colors.color.menu.hotkey.normal.background <color|#rrggbb>
|
|
# Default background color.
|
|
set ui.colors.color.menu.hotkey.normal.background = "white"
|
|
|
|
|
|
## ui.colors.color.menu.hotkey.selected
|
|
# Menu item selected hotkey colors.
|
|
|
|
## ui.colors.color.menu.hotkey.selected.text <color|#rrggbb>
|
|
# Default text color.
|
|
set ui.colors.color.menu.hotkey.selected.text = "white"
|
|
|
|
## ui.colors.color.menu.hotkey.selected.background <color|#rrggbb>
|
|
# Default background color.
|
|
set ui.colors.color.menu.hotkey.selected.background = "black"
|
|
|
|
|
|
|
|
## ui.colors.color.menu.frame
|
|
# Menu frame colors.
|
|
|
|
## ui.colors.color.menu.frame.text <color|#rrggbb>
|
|
# Default text color.
|
|
set ui.colors.color.menu.frame.text = "white"
|
|
|
|
## ui.colors.color.menu.frame.background <color|#rrggbb>
|
|
# Default background color.
|
|
set ui.colors.color.menu.frame.background = "black"
|
|
|
|
|
|
|
|
## ui.colors.color.dialog
|
|
# Dialog colors.
|
|
|
|
## ui.colors.color.dialog.generic
|
|
# Generic dialog colors.
|
|
|
|
## ui.colors.color.dialog.generic.text <color|#rrggbb>
|
|
# Default text color.
|
|
set ui.colors.color.dialog.generic.text = "white"
|
|
|
|
## ui.colors.color.dialog.generic.background <color|#rrggbb>
|
|
# Default background color.
|
|
set ui.colors.color.dialog.generic.background = "black"
|
|
|
|
|
|
## ui.colors.color.dialog.frame
|
|
# Dialog frame colors.
|
|
|
|
## ui.colors.color.dialog.frame.text <color|#rrggbb>
|
|
# Default text color.
|
|
set ui.colors.color.dialog.frame.text = "white"
|
|
|
|
## ui.colors.color.dialog.frame.background <color|#rrggbb>
|
|
# Default background color.
|
|
set ui.colors.color.dialog.frame.background = "black"
|
|
|
|
|
|
## ui.colors.color.dialog.title
|
|
# Dialog title colors.
|
|
|
|
## ui.colors.color.dialog.title.text <color|#rrggbb>
|
|
# Default text color.
|
|
set ui.colors.color.dialog.title.text = "white"
|
|
|
|
## ui.colors.color.dialog.title.background <color|#rrggbb>
|
|
# Default background color.
|
|
set ui.colors.color.dialog.title.background = "black"
|
|
|
|
|
|
## ui.colors.color.dialog.text
|
|
# Dialog text colors.
|
|
|
|
## ui.colors.color.dialog.text.text <color|#rrggbb>
|
|
# Default text color.
|
|
set ui.colors.color.dialog.text.text = "white"
|
|
|
|
## ui.colors.color.dialog.text.background <color|#rrggbb>
|
|
# Default background color.
|
|
set ui.colors.color.dialog.text.background = "black"
|
|
|
|
|
|
## ui.colors.color.dialog.checkbox
|
|
# Dialog checkbox colors.
|
|
|
|
## ui.colors.color.dialog.checkbox.text <color|#rrggbb>
|
|
# Default text color.
|
|
set ui.colors.color.dialog.checkbox.text = "darkred"
|
|
|
|
## ui.colors.color.dialog.checkbox.background <color|#rrggbb>
|
|
# Default background color.
|
|
set ui.colors.color.dialog.checkbox.background = "black"
|
|
|
|
|
|
## ui.colors.color.dialog.checkbox-selected
|
|
# Dialog selected checkbox colors.
|
|
|
|
## ui.colors.color.dialog.checkbox-selected.text <color|#rrggbb>
|
|
# Default text color.
|
|
set ui.colors.color.dialog.checkbox-selected.text = "yellow"
|
|
|
|
|
|
|
|
## ui.colors.color.title
|
|
# Title bar colors.
|
|
|
|
## ui.colors.color.title.title-bar
|
|
# Generic title bar colors.
|
|
|
|
## ui.colors.color.title.title-bar.text <color|#rrggbb>
|
|
# Default text color.
|
|
set ui.colors.color.title.title-bar.text = "white"
|
|
|
|
## ui.colors.color.title.title-bar.background <color|#rrggbb>
|
|
# Default background color.
|
|
set ui.colors.color.title.title-bar.background = "black"
|
|
|
|
|
|
## ui.colors.color.title.title-text
|
|
# Title bar text colors.
|
|
|
|
## ui.colors.color.title.title-text.text <color|#rrggbb>
|
|
# Default text color.
|
|
set ui.colors.color.title.title-text.text = "white"
|
|
|
|
## ui.colors.color.title.title-text.background <color|#rrggbb>
|
|
# Default background color.
|
|
set ui.colors.color.title.title-text.background = "black"
|
|
|
|
|
|
|
|
## ui.colors.color.status
|
|
# Status bar colors.
|
|
|
|
## ui.colors.color.status.showip-text
|
|
# Status bar show ip text colors.
|
|
|
|
## ui.colors.color.status.showip-text.text <color|#rrggbb>
|
|
# Default text color.
|
|
set ui.colors.color.status.showip-text.text = "white"
|
|
|
|
## ui.colors.color.status.showip-text.background <color|#rrggbb>
|
|
# Default background color.
|
|
set ui.colors.color.status.showip-text.background = "black"
|
|
|
|
|
|
## ui.colors.color.status.status-bar
|
|
# Generic status bar colors.
|
|
|
|
## ui.colors.color.status.status-bar.text <color|#rrggbb>
|
|
# Default text color.
|
|
set ui.colors.color.status.status-bar.text = "white"
|
|
|
|
## ui.colors.color.status.status-bar.background <color|#rrggbb>
|
|
# Default background color.
|
|
set ui.colors.color.status.status-bar.background = "black"
|
|
|
|
|
|
## ui.colors.color.status.status-text
|
|
# Status bar text colors.
|
|
|
|
## ui.colors.color.status.status-text.text <color|#rrggbb>
|
|
# Default text color.
|
|
set ui.colors.color.status.status-text.text = "white"
|
|
|
|
## ui.colors.color.status.status-text.background <color|#rrggbb>
|
|
# Default background color.
|
|
set ui.colors.color.status.status-text.background = "black"
|
|
|
|
|
|
|
|
## ui.colors.color.tabs
|
|
# Tabs bar colors.
|
|
|
|
## ui.colors.color.tabs.unvisited
|
|
# Tab colors for tabs that have not been selected since they completed
|
|
# loading.
|
|
|
|
## ui.colors.color.tabs.unvisited.text <color|#rrggbb>
|
|
# Default text color.
|
|
set ui.colors.color.tabs.unvisited.text = "white"
|
|
|
|
## ui.colors.color.tabs.unvisited.background <color|#rrggbb>
|
|
# Default background color.
|
|
set ui.colors.color.tabs.unvisited.background = "black"
|
|
|
|
|
|
## ui.colors.color.tabs.normal
|
|
# Unselected tab colors.
|
|
|
|
## ui.colors.color.tabs.normal.text <color|#rrggbb>
|
|
# Default text color.
|
|
set ui.colors.color.tabs.normal.text = "white"
|
|
|
|
## ui.colors.color.tabs.normal.background <color|#rrggbb>
|
|
# Default background color.
|
|
set ui.colors.color.tabs.normal.background = "black"
|
|
|
|
|
|
## ui.colors.color.tabs.loading
|
|
# Tab colors for tabs that are loading in the background.
|
|
|
|
## ui.colors.color.tabs.loading.text <color|#rrggbb>
|
|
# Default text color.
|
|
set ui.colors.color.tabs.loading.text = "darkred"
|
|
|
|
## ui.colors.color.tabs.loading.background <color|#rrggbb>
|
|
# Default background color.
|
|
set ui.colors.color.tabs.loading.background = "black"
|
|
|
|
|
|
## ui.colors.color.tabs.selected
|
|
# Selected tab colors.
|
|
|
|
## ui.colors.color.tabs.selected.text <color|#rrggbb>
|
|
# Default text color.
|
|
set ui.colors.color.tabs.selected.text = "black"
|
|
|
|
## ui.colors.color.tabs.selected.background <color|#rrggbb>
|
|
# Default background color.
|
|
set ui.colors.color.tabs.selected.background = "white"
|
|
|
|
|
|
## ui.colors.color.tabs.separator
|
|
# Tab separator colors.
|
|
|
|
## ui.colors.color.tabs.separator.text <color|#rrggbb>
|
|
# Default text color.
|
|
set ui.colors.color.tabs.separator.text = "white"
|
|
|
|
## ui.colors.color.tabs.separator.background <color|#rrggbb>
|
|
# Default background color.
|
|
set ui.colors.color.tabs.separator.background = "black"
|
|
|
|
|
|
|
|
## ui.colors.color.desktop
|
|
# Desktop background.
|
|
|
|
## ui.colors.color.desktop.text <color|#rrggbb>
|
|
# Default text color.
|
|
set ui.colors.color.desktop.text = "white"
|
|
|
|
## ui.colors.color.desktop.background <color|#rrggbb>
|
|
# Default background color.
|
|
set ui.colors.color.desktop.background = "black"
|
|
|
|
|
|
|
|
|
|
## ui.background_char <num>
|
|
# Integer value of background character.
|
|
set ui.background_char = 32
|
|
|
|
## ui.show_ip [0|1]
|
|
# Whether to display IP of the document in the status bar.
|
|
set ui.show_ip = 1
|
|
|
|
## ui.show_menu_bar_always [0|1]
|
|
# Always show menu bar on the screen.
|
|
set ui.show_menu_bar_always = 1
|
|
|
|
## ui.show_status_bar [0|1]
|
|
# Show status bar on the screen.
|
|
set ui.show_status_bar = 1
|
|
|
|
## ui.show_title_bar [0|1]
|
|
# Show title bar on the screen.
|
|
set ui.show_title_bar = 1
|
|
|
|
|
|
|
|
|
|
|
|
##################################
|
|
# Automatically saved keybindings
|
|
#
|
|
|
|
bind "main" "k" = "none"
|
|
|
|
|
|
|
|
##############################
|
|
# Automatically saved options
|
|
#
|
|
|
|
## document
|
|
# Document options.
|
|
|
|
## document.colors
|
|
# Default document color settings.
|
|
|
|
## document.colors.use_document_colors <num>
|
|
# Use colors specified in document:
|
|
# 0 is use always the default settings
|
|
# 1 is use document colors if available, except background
|
|
# 2 is use document colors, including background. This can
|
|
# mostly look very impressive, but some sites will appear
|
|
# really ugly. Note, that obviously if the background is
|
|
# not black, it will break the behaviour of transparency.
|
|
set document.colors.use_document_colors = 1
|
|
|
|
|
|
|
|
|
|
|
|
|
|
##############################
|
|
# Automatically saved options
|
|
#
|
|
|
|
## document
|
|
# Document options.
|
|
|
|
## document.browse
|
|
# Document browsing options (mainly interactivity).
|
|
|
|
## document.browse.forms
|
|
# Options for handling of the forms interaction.
|
|
|
|
## document.browse.forms.confirm_submit [0|1]
|
|
# Ask for confirmation when submitting a form.
|
|
set document.browse.forms.confirm_submit = 0
|
|
|
|
|
|
|
|
|