From 81319534be7194ccf5fc5baf015da26433c910ea Mon Sep 17 00:00:00 2001 From: Marc Date: Sat, 22 Aug 2020 10:00:39 +0200 Subject: [PATCH] changed font and theme --- .config/kitty/kitty.conf | 12 ++++++++---- 1 file changed, 8 insertions(+), 4 deletions(-) diff --git a/.config/kitty/kitty.conf b/.config/kitty/kitty.conf index 95ab739..c70a1a0 100644 --- a/.config/kitty/kitty.conf +++ b/.config/kitty/kitty.conf @@ -1,9 +1,13 @@ -font_family Hack Nerd Font Mono +symbol_map U+E0A0,U+E0B0,U+E0B1 PowerlineSymbols +font_family Hack bold_font auto bold_font auto bold_italic_font auto -font_size 12.0 +font_size 10.0 -include themes/onehalf-dark.conf -#include themes/onehalf-light.conf +include themes/plastic.conf + +#map ctrl+c copy_to_clipboard +map ctrl+v paste_from_clipboard +map shift+insert paste_from_clipboard