use bold font in terminator

This commit is contained in:
Cyryl Płotnicki-Chudyk 2016-06-05 15:10:28 +02:00
parent 9cfc53ffb5
commit 48489827cb

View file

@ -1,25 +1,9 @@
[global_config]
window_state = maximise
borderless = True
focus = system
title_transmit_bg_color = "#d30102"
window_state = maximise
[keybindings]
[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
font = DejaVu Sans Mono for Powerline 12
background_color = "#002b36"
scrollback_infinite = True
[layouts]
[[default]]
[[[child1]]]
@ -30,3 +14,19 @@
parent = ""
type = Window
[plugins]
[profiles]
[[default]]
background_color = "#002b36"
background_darkness = 0.93
background_image = None
background_type = transparent
cursor_color = "#eee8d5"
font = DejaVu Sans Mono for Powerline Bold 12
foreground_color = "#eee8d5"
icon_bell = False
login_shell = True
palette = "#073642:#dc322f:#859900:#b58900:#268bd2:#d33682:#2aa198:#eee8d5:#002b36:#cb4b16:#586e75:#657b83:#839496:#6c71c4:#93a1a1:#fdf6e3"
scrollback_infinite = True
scrollback_lines = 8192
show_titlebar = False
use_system_font = False