From 3e289a57f98014ab281688c1121b19ee8dd8ec81 Mon Sep 17 00:00:00 2001 From: Kovid Goyal Date: Sun, 8 Jan 2017 22:06:24 +0530 Subject: [PATCH] Better line sizes for box drawing --- kitty/fonts/box_drawing.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/kitty/fonts/box_drawing.py b/kitty/fonts/box_drawing.py index a3f0b5118..304bb8f9a 100644 --- a/kitty/fonts/box_drawing.py +++ b/kitty/fonts/box_drawing.py @@ -10,7 +10,7 @@ from kitty.utils import get_logical_dpi def thickness(level=1, horizontal=True): dpi = get_logical_dpi()[0 if horizontal else 1] - pts = (1, 1, 2, 4)[level] + pts = (0.001, 1, 1.2, 3)[level] return int(math.ceil(pts * dpi / 72.0))