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-07 18:55:08 +02:00
|
|
|
font = Monospace 9
|
2012-06-07 18:58:07 +02:00
|
|
|
scrollback_lines = 1000
|
