2018-05-03 20:23:53 +02:00
|
|
|
[global_config]
|
2018-05-30 23:46:29 +02:00
|
|
|
borderless = True
|
|
|
|
custom_url_handler = firefox
|
2018-05-03 20:23:53 +02:00
|
|
|
enabled_plugins = TerminalShot, LaunchpadCodeURLHandler, APTURLHandler, LaunchpadBugURLHandler
|
2019-01-10 10:13:42 +01:00
|
|
|
suppress_multiple_term_dialog = True
|
2019-11-14 16:18:31 +01:00
|
|
|
title_font = Noto Sans Medium 10
|
|
|
|
title_hide_sizetext = True
|
2019-11-14 15:38:43 +01:00
|
|
|
title_inactive_bg_color = "#C0BEBF"
|
|
|
|
title_receive_bg_color = "#adbce6"
|
2019-11-14 16:18:31 +01:00
|
|
|
title_transmit_bg_color = "#adbce6"
|
|
|
|
title_use_system_font = False
|
|
|
|
use_custom_url_handler = True
|
2018-05-03 20:23:53 +02:00
|
|
|
[keybindings]
|
2019-11-14 15:38:43 +01:00
|
|
|
broadcast_all = <Shift><Alt>a
|
|
|
|
broadcast_group = <Shift><Alt>g
|
|
|
|
broadcast_off = <Shift><Alt>q
|
2019-05-25 14:22:49 +02:00
|
|
|
go_down = <Primary><Shift>Down
|
|
|
|
go_left = <Primary><Shift>Left
|
|
|
|
go_next = <Primary><Shift>n
|
|
|
|
go_prev = <Primary><Shift>p
|
|
|
|
go_right = <Primary><Shift>Right
|
|
|
|
go_up = <Primary><Shift>Up
|
2018-05-16 00:29:14 +02:00
|
|
|
layout_launcher = <Shift><Alt>l
|
2019-01-10 10:13:42 +01:00
|
|
|
reset_clear = <Primary><Shift>l
|
2019-05-25 14:22:49 +02:00
|
|
|
resize_down = <Primary><Alt>Down
|
|
|
|
resize_left = <Primary><Alt>Left
|
|
|
|
resize_right = <Primary><Alt>Right
|
|
|
|
resize_up = <Primary><Alt>Up
|
2018-05-03 20:23:53 +02:00
|
|
|
switch_to_tab_1 = None
|
|
|
|
switch_to_tab_2 = None
|
|
|
|
[layouts]
|
|
|
|
[[default]]
|
|
|
|
[[[child1]]]
|
|
|
|
parent = window0
|
2019-11-14 15:38:43 +01:00
|
|
|
profile = default
|
2018-05-03 20:23:53 +02:00
|
|
|
type = Terminal
|
|
|
|
[[[window0]]]
|
|
|
|
parent = ""
|
|
|
|
type = Window
|
|
|
|
[plugins]
|
|
|
|
[profiles]
|
|
|
|
[[default]]
|
|
|
|
background_darkness = 0.85
|
|
|
|
background_type = transparent
|
|
|
|
cursor_color = "#aaaaaa"
|
2018-05-16 00:29:14 +02:00
|
|
|
font = DejaVu Sans Mono 11
|
2018-05-03 20:23:53 +02:00
|
|
|
scrollback_infinite = True
|
2018-05-16 00:29:14 +02:00
|
|
|
scrollbar_position = hidden
|
|
|
|
use_system_font = False
|