From 66fc8d649a835c5d4041d434e72acb5429a65f3e Mon Sep 17 00:00:00 2001 From: Erin Date: Sat, 15 Oct 2022 19:05:43 -0400 Subject: [PATCH] kde: tweak appearance+font of konsole --- kde/.local/share/konsole/My Profile.profile | 3 +++ 1 file changed, 3 insertions(+) diff --git a/kde/.local/share/konsole/My Profile.profile b/kde/.local/share/konsole/My Profile.profile index e64a976..2fdc586 100644 --- a/kde/.local/share/konsole/My Profile.profile +++ b/kde/.local/share/konsole/My Profile.profile @@ -1,8 +1,11 @@ [Appearance] ColorScheme=DarkPastels +Font=Comic Code Ligatures Medium,10,-1,5,57,0,0,0,0,0,Regular +LineSpacing=4 [General] Command=/bin/zsh Name=My Profile Parent=FALLBACK/ TerminalColumns=80 +TerminalMargin=10