2016-09-04 13:58:13 +02:00
|
|
|
[global_config]
|
2017-03-06 23:55:00 +01:00
|
|
|
dbus = False
|
2016-09-04 13:58:13 +02:00
|
|
|
enabled_plugins = LaunchpadCodeURLHandler, APTURLHandler, LaunchpadBugURLHandler
|
|
|
|
title_inactive_bg_color = "#000000"
|
|
|
|
title_inactive_fg_color = "#909090"
|
|
|
|
title_receive_bg_color = "#5d5d5d"
|
|
|
|
title_receive_fg_color = "#d5d5d5"
|
|
|
|
title_transmit_bg_color = "#000000"
|
|
|
|
[keybindings]
|
|
|
|
close_term = None
|
|
|
|
close_window = None
|
|
|
|
help = None
|
|
|
|
[layouts]
|
|
|
|
[[default]]
|
|
|
|
[[[child1]]]
|
|
|
|
parent = window0
|
|
|
|
type = Terminal
|
|
|
|
[[[window0]]]
|
|
|
|
parent = ""
|
|
|
|
type = Window
|
|
|
|
[plugins]
|
|
|
|
[profiles]
|
|
|
|
[[default]]
|
|
|
|
background_darkness = 0.79
|
|
|
|
background_image = None
|
|
|
|
background_type = transparent
|
2017-03-06 23:55:00 +01:00
|
|
|
cursor_color = "#fffeab"
|
|
|
|
font = DejaVu Sans Mono 8
|
|
|
|
foreground_color = "#faffb4"
|
2016-09-04 13:58:13 +02:00
|
|
|
scrollbar_position = hidden
|
|
|
|
show_titlebar = False
|
2016-12-13 16:06:25 +01:00
|
|
|
use_system_font = False
|
2016-09-04 13:58:13 +02:00
|
|
|
[[Proj_nocursor]]
|
|
|
|
background_color = "#ffffff"
|
|
|
|
background_image = None
|
|
|
|
cursor_blink = False
|
|
|
|
cursor_color = "#ffffff"
|
|
|
|
cursor_shape = underline
|
|
|
|
foreground_color = "#000000"
|
|
|
|
icon_bell = False
|
|
|
|
show_titlebar = False
|
|
|
|
[[lowOpacity]]
|
|
|
|
background_darkness = 0.61
|
|
|
|
background_image = None
|
|
|
|
background_type = transparent
|
|
|
|
foreground_color = "#fffeab"
|
|
|
|
scrollbar_position = hidden
|
|
|
|
[[projection]]
|
|
|
|
background_color = "#ffffff"
|
|
|
|
background_image = None
|
|
|
|
foreground_color = "#000000"
|
|
|
|
palette = "#2e3436:#cc0000:#4e9a06:#ca5307:#3465a4:#75507b:#06989a:#d3d7cf:#555753:#ef2929:#8ae234:#ff751d:#657689:#ad7fa8:#34e2e2:#eeeeec"
|
|
|
|
scrollbar_position = hidden
|
|
|
|
show_titlebar = False
|
2016-12-13 16:06:25 +01:00
|
|
|
[[vsmall_font]]
|
|
|
|
background_image = None
|
|
|
|
font = Sans 6
|
|
|
|
foreground_color = "#ffffff"
|
|
|
|
use_system_font = False
|
2016-10-12 15:59:17 +02:00
|
|
|
[[with_titlebar]]
|
2016-10-31 16:51:09 +01:00
|
|
|
background_image = None
|