More box drawing characters

2017-01-09 14:13:01 +05:30
parent 3b0b8238ff
commit a3a29b7467
1 changed files with 6 additions and 0 deletions
--- 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