smaller font size for the terminal window

This commit is contained in:
Cyryl Płotnicki-Chudyk 2016-05-03 20:20:29 +02:00
parent 5c6f73fe65
commit 82250f8637

View file

@ -1,9 +1,25 @@
[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 = Inconsolata for Powerline Bold 12
background_color = "#002b36"
scrollback_infinite = True
[layouts]
[[default]]
[[[child1]]]
@ -14,19 +30,3 @@
parent = ""
type = Window
[plugins]
[profiles]
[[default]]
background_color = "#002b36"
background_darkness = 0.93
background_image = None
background_type = transparent
cursor_color = "#eee8d5"
font = Inconsolata for Powerline Medium 15
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