blob: 0870492618350debf269fbafce32d4c308bfe0c6 (
plain)
1
2
3
4
5
6
7
8
9
10
|
disableStartupPopups: true
gui:
theme:
activeBorderColor:
- green
- bold
SelectedRangeBgcolor:
- reverse
# TODO: we should update most tests to use a file tree now that it's the default
showFileTree: false
|