2019-10-09 13:13:56 +02:00
|
|
|
[global_config]
|
|
|
|
enabled_plugins = LaunchpadBugURLHandler, LaunchpadCodeURLHandler, APTURLHandler, TerminatorThemes
|
|
|
|
[keybindings]
|
|
|
|
[profiles]
|
|
|
|
[[default]]
|
2020-01-13 11:30:01 +01:00
|
|
|
background_color = "#fcf4dc"
|
2019-10-09 13:13:56 +02:00
|
|
|
cursor_shape = ibeam
|
2020-01-13 11:30:01 +01:00
|
|
|
cursor_color = "#536870"
|
2020-01-22 22:07:44 +01:00
|
|
|
font = JetBrainsMono 9
|
2020-01-13 11:30:01 +01:00
|
|
|
foreground_color = "#536870"
|
2019-10-09 13:13:56 +02:00
|
|
|
show_titlebar = False
|
|
|
|
scrollbar_position = hidden
|
2020-01-13 11:30:01 +01:00
|
|
|
palette = "#002831:#d11c24:#738a05:#a57706:#2176c7:#c61c6f:#259286:#eae3cb:#001e27:#bd3613:#475b62:#536870:#708284:#5956ba:#819090:#fcf4dc"
|
2019-10-09 13:13:56 +02:00
|
|
|
use_system_font = False
|
|
|
|
[plugins]
|