From b40e1e64924d1a7a01a6a7a15352e99ea9683470 Mon Sep 17 00:00:00 2001 From: Kovid Goyal Date: Tue, 21 Nov 2017 07:13:17 +0530 Subject: [PATCH] Decrease minimum fonts size to 4pt --- kitty/config.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/kitty/config.py b/kitty/config.py index ed64728e1..a34a53471 100644 --- a/kitty/config.py +++ b/kitty/config.py @@ -19,7 +19,7 @@ from .rgb import to_color from .utils import safe_print key_pat = re.compile(r'([a-zA-Z][a-zA-Z0-9_-]*)\s+(.+)$') -MINIMUM_FONT_SIZE = 6 +MINIMUM_FONT_SIZE = 4 def to_font_size(x):