2018-10-23 04:41:39 +00:00
|
|
|
[global_config]
|
|
|
|
enabled_plugins = LaunchpadCodeURLHandler, APTURLHandler, LaunchpadBugURLHandler
|
|
|
|
inactive_color_offset = 0.84347826087
|
|
|
|
title_transmit_bg_color = "#243433"
|
|
|
|
[keybindings]
|
|
|
|
[layouts]
|
|
|
|
[[default]]
|
|
|
|
[[[child1]]]
|
|
|
|
parent = window0
|
2019-03-05 02:38:27 +00:00
|
|
|
profile = default
|
2018-10-23 04:41:39 +00:00
|
|
|
type = Terminal
|
|
|
|
[[[window0]]]
|
|
|
|
parent = ""
|
|
|
|
type = Window
|
|
|
|
[plugins]
|
|
|
|
[profiles]
|
|
|
|
[[default]]
|
|
|
|
background_darkness = 0.91
|
|
|
|
background_type = transparent
|
|
|
|
cursor_color = "#aaaaaa"
|
|
|
|
scrollback_infinite = True
|