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
|
2018-05-16 00:29:14 +02:00
|
|
|
title_font = DejaVu Sans Mono 11
|
|
|
|
title_use_system_font = False
|
2018-05-30 23:46:29 +02:00
|
|
|
use_custom_url_handler = True
|
2018-05-03 20:23:53 +02:00
|
|
|
[keybindings]
|
2018-05-16 00:29:14 +02:00
|
|
|
layout_launcher = <Shift><Alt>l
|
2018-05-03 20:23:53 +02:00
|
|
|
switch_to_tab_1 = None
|
|
|
|
switch_to_tab_2 = None
|
|
|
|
[layouts]
|
|
|
|
[[default]]
|
|
|
|
[[[child1]]]
|
|
|
|
parent = window0
|
|
|
|
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
|
2018-05-03 20:23:53 +02:00
|
|
|
show_titlebar = False
|
2018-05-16 00:29:14 +02:00
|
|
|
use_system_font = False
|