2013-09-09 12:27:24 +02:00
|
|
|
[options]
|
|
|
|
|
allow_bold = true
|
2019-03-28 15:22:50 +01:00
|
|
|
audible_bell = false
|
|
|
|
|
#bold_is_bright = true
|
2019-07-10 14:35:03 +02:00
|
|
|
#cell_height_scale = 1.0
|
|
|
|
|
#cell_width_scale = 1.0
|
2013-09-09 12:27:24 +02:00
|
|
|
clickable_url = true
|
2019-03-28 15:22:50 +01:00
|
|
|
client_side_decoration = false
|
|
|
|
|
dynamic_title = true
|
2019-07-19 10:57:51 +02:00
|
|
|
font = DejaVu Sans Mono 11
|
2017-07-04 14:02:38 +02:00
|
|
|
#font = envypn 9
|
2019-03-28 15:22:50 +01:00
|
|
|
#fullscreen = true
|
|
|
|
|
#icon_name = terminal
|
|
|
|
|
mouse_autohide = false
|
|
|
|
|
scroll_on_output = false
|
|
|
|
|
scroll_on_keystroke = true
|
|
|
|
|
# Length of the scrollback buffer, 0 disabled the scrollback buffer
|
|
|
|
|
# and setting it to a negative value means "infinite scrollback"
|
2013-09-09 12:27:24 +02:00
|
|
|
scrollback_lines = 10000
|
|
|
|
|
search_wrap = true
|
2019-03-28 15:22:50 +01:00
|
|
|
urgent_on_bell = true
|
|
|
|
|
#hyperlinks = false
|
|
|
|
|
|
|
|
|
|
# $BROWSER is used by default if set, with xdg-open as a fallback
|
2019-07-10 14:35:03 +02:00
|
|
|
browser = firefox-nightly
|
2013-09-09 12:27:24 +02:00
|
|
|
|
|
|
|
|
# "system", "on" or "off"
|
|
|
|
|
cursor_blink = system
|
|
|
|
|
|
|
|
|
|
# "block", "underline" or "ibeam"
|
|
|
|
|
cursor_shape = block
|
|
|
|
|
|
2017-07-04 14:02:38 +02:00
|
|
|
# Hide links that are no longer valid in url select overlay mode
|
|
|
|
|
filter_unmatched_urls = true
|
|
|
|
|
|
2019-03-28 15:22:50 +01:00
|
|
|
# Emit escape sequences for extra modified keys
|
2014-12-02 16:44:36 +01:00
|
|
|
#modify_other_keys = false
|
2013-09-09 12:27:24 +02:00
|
|
|
|
2019-03-28 15:22:50 +01:00
|
|
|
# set size hints for the window
|
|
|
|
|
#size_hints = false
|
|
|
|
|
|
|
|
|
|
# "off", "left" or "right"
|
|
|
|
|
#scrollbar = off
|
|
|
|
|
|
2013-09-09 12:27:24 +02:00
|
|
|
[colors]
|
2019-07-10 14:35:03 +02:00
|
|
|
|
|
|
|
|
# special
|
|
|
|
|
foreground = #d3d0c8
|
|
|
|
|
foreground_bold = #d3d0c8
|
|
|
|
|
cursor = #d3d0c8
|
|
|
|
|
background = #2d2d2d
|
|
|
|
|
background = rgba(45, 45, 45, 0.90)
|
|
|
|
|
|
|
|
|
|
# black
|
|
|
|
|
color0 = #2d2d2d
|
|
|
|
|
color8 = #747369
|
|
|
|
|
|
|
|
|
|
# red
|
|
|
|
|
color1 = #f2777a
|
|
|
|
|
color9 = #f2777a
|
|
|
|
|
|
|
|
|
|
# green
|
|
|
|
|
color2 = #99cc99
|
|
|
|
|
color10 = #99cc99
|
|
|
|
|
|
|
|
|
|
# yellow
|
|
|
|
|
color3 = #ffcc66
|
|
|
|
|
color11 = #ffcc66
|
|
|
|
|
|
|
|
|
|
# blue
|
|
|
|
|
color4 = #6699cc
|
|
|
|
|
color12 = #6699cc
|
|
|
|
|
|
|
|
|
|
# magenta
|
|
|
|
|
color5 = #cc99cc
|
|
|
|
|
color13 = #cc99cc
|
|
|
|
|
|
|
|
|
|
# cyan
|
|
|
|
|
color6 = #66cccc
|
|
|
|
|
color14 = #66cccc
|
|
|
|
|
|
|
|
|
|
# white
|
|
|
|
|
color7 = #d3d0c8
|
|
|
|
|
color15 = #f2f0ec
|
2013-09-09 12:27:24 +02:00
|
|
|
|
|
|
|
|
[hints]
|
|
|
|
|
#font = Monospace 12
|
|
|
|
|
#foreground = #dcdccc
|
|
|
|
|
#background = #3f3f3f
|
2014-12-02 16:44:36 +01:00
|
|
|
#active_foreground = #e68080
|
2017-07-04 14:02:38 +02:00
|
|
|
active_background = #3f3f3f
|
2013-09-09 12:27:24 +02:00
|
|
|
#padding = 2
|
|
|
|
|
#border = #3f3f3f
|
|
|
|
|
#border_width = 0.5
|
|
|
|
|
#roundness = 2.0
|
|
|
|
|
|
2014-12-02 16:44:36 +01:00
|
|
|
# vim: ft=dosini cms=#%s
|
