From acf36974c98d301a3cd8e381d095a16af568c231 Mon Sep 17 00:00:00 2001 From: Salt Date: Fri, 30 Nov 2018 22:40:01 -0600 Subject: [PATCH] DSK, Konsole: Update, add margin --- .dsk | 2 +- .local/share/konsole/Primary.profile | 1 + 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/.dsk b/.dsk index 2f65be59..ff12e8db 160000 --- a/.dsk +++ b/.dsk @@ -1 +1 @@ -Subproject commit 2f65be59538be44b0162829555a8b6e3140d9c09 +Subproject commit ff12e8dbbaa00d5f087416ac749b14875c4fb3c4 diff --git a/.local/share/konsole/Primary.profile b/.local/share/konsole/Primary.profile index 55b9fa33..d15643af 100644 --- a/.local/share/konsole/Primary.profile +++ b/.local/share/konsole/Primary.profile @@ -10,6 +10,7 @@ Parent=FALLBACK/ ShowTerminalSizeHint=false StartInCurrentSessionDir=false TerminalColumns=86 +TerminalMargin=2 TerminalRows=26 [Scrolling]