Better line sizes for box drawing

2017-01-08 22:06:24 +05:30 · 2017-01-08 22:06:24 +05:30 · 3e289a57f9
commit 3e289a57f9
parent 729b94fbe7
1 changed files with 1 additions and 1 deletions
--- 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))