From 137404d975cb7829417057179b69cca75e871729 Mon Sep 17 00:00:00 2001 From: thomasabishop Date: Wed, 17 Apr 2024 18:29:26 +0100 Subject: [PATCH] kitty: change fonts again --- kitty/kitty.conf | 20 ++++++++++---------- 1 file changed, 10 insertions(+), 10 deletions(-) diff --git a/kitty/kitty.conf b/kitty/kitty.conf index f591cba..05ac517 100644 --- a/kitty/kitty.conf +++ b/kitty/kitty.conf @@ -1,23 +1,23 @@ include ./theme.conf -#font_family PragmataPro Mono Liga -#bold_font PragmataPro Mono Liga Bold -#italic_font PragmataPro Mono Liga Italic -#bold_italic_font PragmataPro Mono Liga Bold Italic +font_family PragmataPro Mono Liga +bold_font PragmataPro Mono Liga Bold +italic_font PragmataPro Mono Liga Italic +bold_italic_font PragmataPro Mono Liga Bold Italic -font_family Liberation Mono -bold_font Liberation Mono Bold -italic_font Liberation Mono Italic -bold_italic_font Liberation Mono Bold +# font_family Liberation Mono +# bold_font Liberation Mono Bold +# italic_font Liberation Mono Italic +# bold_italic_font Liberation Mono Bold -font_size 10 +font_size 12 clipboard_control write-clipboard write-primary read-clipboard-ask read-primary-ask window_padding_width 5 remember_window_size no copy_on_select yes -background_opacity 1 +background_opacity 0.95 bell_path /home/thomas/dotfiles/gruvbox-95/sounds/st-terminal-beep.wav