From 82250f8637abfbac5fd4f88da898be00154a8018 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Cyryl=20P=C5=82otnicki-Chudyk?= Date: Tue, 3 May 2016 20:20:29 +0200 Subject: [PATCH] smaller font size for the terminal window --- .config/terminator/config | 34 +++++++++++++++++----------------- 1 file changed, 17 insertions(+), 17 deletions(-) diff --git a/.config/terminator/config b/.config/terminator/config index 4677f183..da25cf3e 100644 --- a/.config/terminator/config +++ b/.config/terminator/config @@ -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