From 88dad4fd991c4c3021f68bea8f33c32bc5549f7c Mon Sep 17 00:00:00 2001 From: Nathan Knowler Date: Mon, 23 Nov 2020 09:42:53 -0600 Subject: [PATCH] [kitty] use floats for padding --- .config/kitty/kitty.conf | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.config/kitty/kitty.conf b/.config/kitty/kitty.conf index 960c565..7ba2b71 100644 --- a/.config/kitty/kitty.conf +++ b/.config/kitty/kitty.conf @@ -2,7 +2,7 @@ term xterm-256color # Decor hide_window_decorations titlebar-only -window_padding_width 12pt 16pt +window_padding_width 12.0 16.0 # Fonts font_family DankMono Nerd Font Mono Regular -- 2.51.2