9baf7c94e1
I considered replacing this with `gtk_widget_set_opacity`, but it's no more usable than window manager transparency since the font is transparent. Since this is already broken with URL hints and won't be around in the future, it might as well go sooner rather than later. Closes #128 Closes #39
72 lines
1.3 KiB
INI
72 lines
1.3 KiB
INI
[options]
|
|
resize_grip = false
|
|
scroll_on_output = false
|
|
scroll_on_keystroke = true
|
|
audible_bell = false
|
|
visible_bell = false
|
|
mouse_autohide = false
|
|
allow_bold = true
|
|
dynamic_title = true
|
|
urgent_on_bell = true
|
|
clickable_url = true
|
|
font = Monospace 9
|
|
scrollback_lines = 1000
|
|
search_wrap = true
|
|
#icon_name = terminal
|
|
#geometry = 640x480
|
|
|
|
# "system", "on" or "off"
|
|
cursor_blink = system
|
|
|
|
# "block", "underline" or "ibeam"
|
|
cursor_shape = block
|
|
|
|
# $BROWSER is used by default
|
|
#browser = firefox
|
|
|
|
# word characters used for word selection
|
|
# (default if unset: all graphic non-punctuation/space characters)
|
|
#word_chars = -A-Za-z0-9,./?%&#:_=+@~
|
|
|
|
# set size hints for the window
|
|
#size_hints = false
|
|
|
|
[colors]
|
|
foreground = #dcdccc
|
|
foreground_bold = #ffffff
|
|
#foreground_dim = #888888
|
|
background = #3f3f3f
|
|
#cursor = #dcdccc
|
|
|
|
# if unset, will reverse foreground and background
|
|
highlight = #2f2f2f
|
|
|
|
# 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
|
|
|
|
[hints]
|
|
#font = Monospace 12
|
|
#foreground = #dcdccc
|
|
#background = #3f3f3f
|
|
#padding = 2
|
|
#border = #3f3f3f
|
|
#border_width = 0.5
|
|
#roundness = 2.0
|
|
|
|
# vim: ft=dosini
|