diff options
| author | William Carroll <wpcarro@gmail.com> | 2020-01-22T21·07+0000 |
|---|---|---|
| committer | William Carroll <wpcarro@gmail.com> | 2020-01-22T21·13+0000 |
| commit | 595280690c71b723b54c401169b860d1c567e570 (patch) | |
| tree | b85f91e0301bf0b36743c457e0a4a137578f9af7 /configs | |
| parent | df7385af0d2a59cca2d724312b5efc1e9174b94f (diff) | |
Prefer JetBrainsMono font for Terminator
TODO: Consider completing terminator.el and allow things like that font and font-size to be parameterized.
Diffstat (limited to 'configs')
| -rw-r--r-- | configs/shared/.config/terminator/config | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configs/shared/.config/terminator/config b/configs/shared/.config/terminator/config index 7aa2dd2077bc..5830575f30e3 100644 --- a/configs/shared/.config/terminator/config +++ b/configs/shared/.config/terminator/config @@ -6,7 +6,7 @@ background_color = "#fcf4dc" cursor_shape = ibeam cursor_color = "#536870" - font = Input Mono Medium 12 + font = JetBrainsMono 9 foreground_color = "#536870" show_titlebar = False scrollbar_position = hidden |