2013-11-01 20:44:01 +00:00
|
|
|
[global_config]
|
2016-05-03 19:20:29 +01:00
|
|
|
window_state = maximise
|
2014-10-26 08:59:54 +00:00
|
|
|
borderless = True
|
2013-11-01 20:44:01 +00:00
|
|
|
focus = system
|
2014-10-26 08:59:54 +00:00
|
|
|
title_transmit_bg_color = "#d30102"
|
2013-11-01 20:44:01 +00:00
|
|
|
[keybindings]
|
2016-05-03 19:20:29 +01:00
|
|
|
[profiles]
|
|
|
|
|
[[default]]
|
|
|
|
|
palette = "#073642:#dc322f:#859900:#b58900:#268bd2:#d33682:#2aa198:#eee8d5:#002b36:#cb4b16:#586e75:#657b83:#839496:#6c71c4:#93a1a1:#fdf6e3"
|
|
|
|
|
login_shell = True
|
|
|
|
|
background_image = None
|
|
|
|
|
background_darkness = 0.93
|
|
|
|
|
scrollback_lines = 8192
|
|
|
|
|
background_type = transparent
|
|
|
|
|
use_system_font = False
|
|
|
|
|
cursor_color = "#eee8d5"
|
|
|
|
|
foreground_color = "#eee8d5"
|
|
|
|
|
icon_bell = False
|
|
|
|
|
show_titlebar = False
|
2016-05-03 19:52:31 +01:00
|
|
|
font = DejaVu Sans Mono for Powerline 12
|
2016-05-03 19:20:29 +01:00
|
|
|
background_color = "#002b36"
|
|
|
|
|
scrollback_infinite = True
|
2013-12-19 17:07:31 +00:00
|
|
|
[layouts]
|
2013-11-01 20:44:01 +00:00
|
|
|
[[default]]
|
|
|
|
|
[[[child1]]]
|
|
|
|
|
parent = window0
|
|
|
|
|
profile = solarized-dark
|
2015-12-24 08:47:47 +00:00
|
|
|
type = Terminal
|
2013-11-01 20:44:01 +00:00
|
|
|
[[[window0]]]
|
|
|
|
|
parent = ""
|
2015-12-24 08:47:47 +00:00
|
|
|
type = Window
|
2013-11-01 20:44:01 +00:00
|
|
|
[plugins]
|
