From a3a29b74672518e1cea291d6a0889f8977c8256e Mon Sep 17 00:00:00 2001 From: Kovid Goyal Date: Mon, 9 Jan 2017 14:13:01 +0530 Subject: [PATCH] More box drawing characters --- kitty/fonts/box_drawing.py | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/kitty/fonts/box_drawing.py b/kitty/fonts/box_drawing.py index b0f5ac976..6a9efc4ad 100644 --- a/kitty/fonts/box_drawing.py +++ b/kitty/fonts/box_drawing.py @@ -251,6 +251,12 @@ box_chars = { '': [p(triangle, left=False)], '═': [half_dhline, p(half_dhline, which='right')], '║': [half_dvline, p(half_dvline, which='bottom')], + '╞': [vline, p(half_dhline, which='right')], + '╡': [vline, half_dhline], + '╥': [hline, p(half_dvline, which='bottom')], + '╨': [hline, half_dvline], + '╪': [vline, half_dhline, p(half_dhline, which='right')], + '╫': [hline, half_dvline, p(half_dvline, which='bottom')], } t, f = 1, 3