2012-06-07 18:22:24 +02:00
|
|
|
[options]
|
|
|
|
|
resize_grip = false
|
2012-06-07 18:35:01 +02:00
|
|
|
scroll_on_output = false
|
|
|
|
|
scroll_on_keystroke = true
|
|
|
|
|
audible_bell = false
|
|
|
|
|
visible_bell = false
|
|
|
|
|
mouse_autohide = false
|
2012-06-08 17:56:50 +02:00
|
|
|
allow_bold = true
|
2012-06-07 19:54:15 +02:00
|
|
|
dynamic_title = true
|
|
|
|
|
urgent_on_bell = true
|
2012-06-07 20:15:31 +02:00
|
|
|
clickable_url = true
|
2012-06-07 18:55:08 +02:00
|
|
|
font = Monospace 9
|
2012-06-07 18:58:07 +02:00
|
|
|
scrollback_lines = 1000
|
2012-07-05 05:41:53 +02:00
|
|
|
search_wrap = true
|
2012-06-07 20:10:16 +02:00
|
|
|
#icon_name = terminal
|
2012-08-08 23:28:09 +02:00
|
|
|
#geometry = 640x480
|
2012-06-07 19:36:03 +02:00
|
|
|
|
2012-06-08 03:05:31 +02:00
|
|
|
# 0.0: opaque, 1.0: transparent
|
|
|
|
|
transparency = 0.0
|
2012-09-23 01:46:33 +02:00
|
|
|
pseudo_transparency = false
|
2012-06-08 03:05:31 +02:00
|
|
|
|
2012-07-17 06:26:26 +02:00
|
|
|
# "system", "on" or "off"
|
|
|
|
|
cursor_blink = system
|
2012-06-07 19:36:03 +02:00
|
|
|
|
2012-07-17 06:26:26 +02:00
|
|
|
# "block", "underline" or "ibeam"
|
|
|
|
|
cursor_shape = block
|
2012-06-07 20:39:02 +02:00
|
|
|
|
2012-06-08 06:17:16 +02:00
|
|
|
# $BROWSER is used by default
|
2012-07-17 06:26:26 +02:00
|
|
|
#browser = firefox
|
2012-06-08 06:17:16 +02:00
|
|
|
|
2012-07-27 10:58:50 +02:00
|
|
|
# word characters used for word selection
|
|
|
|
|
# (default if unset: all graphic non-punctuation/space characters)
|
|
|
|
|
#word_chars = -A-Za-z0-9,./?%&#:_=+@~
|
|
|
|
|
|
2012-06-07 20:39:02 +02:00
|
|
|
[colors]
|
2012-06-07 20:43:41 +02:00
|
|
|
foreground = #dcdccc
|
2012-06-25 21:27:21 +02:00
|
|
|
foreground_bold = #ffffff
|
|
|
|
|
#foreground_dim = #888888
|
2012-06-07 20:43:41 +02:00
|
|
|
background = #3f3f3f
|
2012-06-10 20:11:25 +02:00
|
|
|
#cursor = #dcdccc
|
2012-06-07 21:01:40 +02:00
|
|
|
|
2012-09-08 08:59:32 +02:00
|
|
|
# if unset, will reverse foreground and background
|
|
|
|
|
highlight = #2f2f2f
|
|
|
|
|
|
2012-06-25 22:05:23 +02:00
|
|
|
# colors from color0 to color254 can be set
|
|
|
|
|
color0 = #3f3f3f
|
|
|
|
|
color1 = #705050
|
|
|
|
|
color2 = #60b48a
|
|
|
|
|
color3 = #dfaf8f
|
|
|
|
|
color4 = #506070
|
|
|
|
|
color5 = #dc8cc3
|
|
|
|
|
color6 = #8cd0d3
|
|
|
|
|
color7 = #dcdccc
|
|
|
|
|
color8 = #709080
|
|
|
|
|
color9 = #dca3a3
|
|
|
|
|
color10 = #c3bf9f
|
|
|
|
|
color11 = #f0dfaf
|
|
|
|
|
color12 = #94bff3
|
|
|
|
|
color13 = #ec93d3
|
|
|
|
|
color14 = #93e0e3
|
|
|
|
|
color15 = #ffffff
|
2012-09-29 01:34:23 +02:00
|
|
|
|
|
|
|
|
[hints]
|
|
|
|
|
#font = Monospace 12
|
|
|
|
|
#foreground = #dcdccc
|
|
|
|
|
#background = #3f3f3f
|
2012-09-30 19:05:06 +02:00
|
|
|
#padding = 2
|
2012-09-29 05:08:23 +02:00
|
|
|
#border = #3f3f3f
|
|
|
|
|
#border_width = 0.5
|
2012-09-30 19:05:06 +02:00
|
|
|
#roundness = 2.0
|
