533 lines
15 KiB
Plaintext
533 lines
15 KiB
Plaintext
## ELinks 0.14.0 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.tmux-256color
|
|
# Options specific to this terminal type (according to $TERM value).
|
|
|
|
## terminal.tmux-256color.underline [0|1]
|
|
set terminal.tmux-256color.underline = 1
|
|
## terminal.tmux-256color.italic [0|1]
|
|
set terminal.tmux-256color.italic = 1
|
|
## terminal.tmux-256color.colors <num>
|
|
set terminal.tmux-256color.colors = 4
|
|
## terminal.tmux-256color.utf_8_io [0|1]
|
|
set terminal.tmux-256color.utf_8_io = 1
|
|
## terminal.tmux-256color.type <num>
|
|
set terminal.tmux-256color.type = 2
|
|
|
|
|
|
## 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.tmux-256color
|
|
# Options specific to this terminal type (according to $TERM value).
|
|
|
|
## terminal.tmux-256color.transparency [0|1]
|
|
set terminal.tmux-256color.transparency = 1
|
|
|
|
|
|
|
|
|
|
|
|
##############################
|
|
# Automatically saved options
|
|
#
|
|
|
|
## connection
|
|
# Connection options.
|
|
|
|
## connection.ssl
|
|
# SSL options.
|
|
|
|
## connection.ssl.https_by_default [0|1]
|
|
# Use HTTPS when a URL scheme is not provided.
|
|
set connection.ssl.https_by_default = 1
|
|
|
|
|
|
|
|
## 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
|
|
|
|
## cookies.max_age <num>
|
|
# Cookie maximum age (in days):
|
|
# -1 is use cookie's expiration date if any
|
|
# 0 is force expiration at the end of session, ignoring
|
|
# cookie's expiration date
|
|
# 1+ is use cookie's expiration date, but limit age to the
|
|
# given number of days
|
|
set cookies.max_age = 0
|
|
|
|
## cookies.save [0|1]
|
|
# Whether cookies should be loaded from and saved to disk.
|
|
set cookies.save = 0
|
|
|
|
|
|
## document
|
|
# Document options.
|
|
|
|
## document.browse
|
|
# Document browsing options (mainly interactivity).
|
|
|
|
## document.browse.links
|
|
# Options for handling of links to other documents.
|
|
|
|
## document.browse.links.active_link
|
|
# Options for the active link.
|
|
|
|
## document.browse.links.active_link.underline [0|1]
|
|
# Underline the active link.
|
|
set document.browse.links.active_link.underline = 1
|
|
|
|
|
|
## document.browse.links.target_blank <num>
|
|
# Define how to handle links having target=_blank set:
|
|
# 0 means open link in current tab
|
|
# 1 means open link in new tab in foreground
|
|
# 2 means open link in new tab in background
|
|
# 3 means open link in new window
|
|
set document.browse.links.target_blank = 2
|
|
|
|
## document.browse.links.wraparound [0|1]
|
|
# When pressing 'down' on the last link, jump to the first one, and vice
|
|
# versa.
|
|
set document.browse.links.wraparound = 1
|
|
|
|
|
|
|
|
|
|
## ui
|
|
# User interface options.
|
|
|
|
## ui.clock
|
|
# Digital clock in the status bar.
|
|
|
|
## ui.clock.enable [0|1]
|
|
# Whether to display a digital clock in the status bar.
|
|
set ui.clock.enable = 0
|
|
|
|
|
|
## 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 = "gray90"
|
|
|
|
## ui.colors.color.mainmenu.normal.background <color|#rrggbb>
|
|
# Default background color.
|
|
set ui.colors.color.mainmenu.normal.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 = "gray75"
|
|
|
|
## ui.colors.color.menu.normal.background <color|#rrggbb>
|
|
# Default background color.
|
|
set ui.colors.color.menu.normal.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 = "gray75"
|
|
|
|
## ui.colors.color.menu.frame.background <color|#rrggbb>
|
|
# Default background color.
|
|
set ui.colors.color.menu.frame.background = "black"
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
##############################
|
|
# Automatically saved options
|
|
#
|
|
|
|
## 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.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 = "green"
|
|
|
|
|
|
## ui.colors.color.mainmenu.hotkey
|
|
# Main menu hotkey colors.
|
|
|
|
## ui.colors.color.mainmenu.hotkey.selected
|
|
# Main menu selected hotkey colors.
|
|
|
|
## 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.selected
|
|
# Selected menu item colors.
|
|
|
|
## ui.colors.color.menu.selected.background <color|#rrggbb>
|
|
# Default background color.
|
|
set ui.colors.color.menu.selected.background = "lime"
|
|
|
|
|
|
|
|
## 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 = "gray50"
|
|
|
|
## 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 = "orange"
|
|
|
|
## 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.field
|
|
# Dialog text field colors.
|
|
|
|
## ui.colors.color.dialog.field.background <color|#rrggbb>
|
|
# Default background color.
|
|
set ui.colors.color.dialog.field.background = "darkblue"
|
|
|
|
|
|
## ui.colors.color.dialog.field-text
|
|
# Dialog field text colors.
|
|
|
|
## ui.colors.color.dialog.field-text.background <color|#rrggbb>
|
|
# Default background color.
|
|
set ui.colors.color.dialog.field-text.background = "darkblue"
|
|
|
|
|
|
|
|
## 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 = "gray90"
|
|
|
|
## 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 = "gray90"
|
|
|
|
## 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 = "aqua"
|
|
|
|
## 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 = "gray90"
|
|
|
|
## 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 = "gray90"
|
|
|
|
## 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.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.separator
|
|
# Tab separator colors.
|
|
|
|
## ui.colors.color.tabs.separator.text <color|#rrggbb>
|
|
# Default text color.
|
|
set ui.colors.color.tabs.separator.text = "black"
|
|
|
|
## ui.colors.color.tabs.separator.background <color|#rrggbb>
|
|
# Default background color.
|
|
set ui.colors.color.tabs.separator.background = "black"
|
|
|
|
|
|
|
|
|
|
|
|
## ui.dialogs
|
|
# Dialogs-specific appearance and behaviour settings.
|
|
|
|
## ui.dialogs.underline_button_shortcuts [0|1]
|
|
# Whether to underline button shortcuts to make them more visible. Requires
|
|
# that underlining is enabled for the terminal.
|
|
set ui.dialogs.underline_button_shortcuts = 1
|
|
|
|
|
|
## ui.sessions
|
|
# Sessions settings.
|
|
|
|
## ui.sessions.auto_restore [0|1]
|
|
# Automatically restore the session at start.
|
|
#
|
|
# This feature requires bookmark support.
|
|
set ui.sessions.auto_restore = 1
|
|
|
|
## ui.sessions.auto_save [0|1]
|
|
# Automatically save the session when quitting.
|
|
#
|
|
# This feature requires bookmark support.
|
|
set ui.sessions.auto_save = 1
|
|
|
|
|
|
## ui.tabs
|
|
# Window tabs settings.
|
|
|
|
## ui.tabs.top [0|1]
|
|
# Whether display tab bar at top like other browsers do.
|
|
set ui.tabs.top = 1
|
|
|
|
|
|
## ui.show_ip [0|1]
|
|
# Whether to display IP of the document in the status bar.
|
|
set ui.show_ip = 0
|
|
|
|
|
|
|
|
|
|
|
|
##############################
|
|
# Automatically saved options
|
|
#
|
|
|
|
## 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.hotkey
|
|
# Main menu hotkey colors.
|
|
|
|
## 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.menu
|
|
# Menu bar colors.
|
|
|
|
## 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 = "lightgreen"
|
|
|
|
|
|
## 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 = "green"
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|