From 3f91ae303740233c75355aa1b9e317d2ff414100 Mon Sep 17 00:00:00 2001 From: Kovid Goyal Date: Sun, 8 Jan 2017 20:54:36 +0530 Subject: [PATCH] The half line box drawing characters --- kitty/fonts/box_drawing.py | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/kitty/fonts/box_drawing.py b/kitty/fonts/box_drawing.py index 445e68f40..ab5123277 100644 --- a/kitty/fonts/box_drawing.py +++ b/kitty/fonts/box_drawing.py @@ -123,6 +123,18 @@ def horz_t(*args, a=1, b=1, c=1, which=None): '┇': [p(vholes, num=2, level=3)], '┊': [p(vholes, num=3)], '┋': [p(vholes, num=3, level=3)], + '╴': [half_hline], + '╵': [half_vline], + '╶': [p(half_hline, which='right')], + '╷': [p(half_vline, which='bottom')], + '╸': [p(half_hline, level=3)], + '╹': [p(half_vline, level=3)], + '╺': [p(half_hline, which='right', level=3)], + '╻': [p(half_vline, which='bottom', level=3)], + '╼': [half_hline, p(half_hline, level=3, which='right')], + '╽': [half_vline, p(half_vline, level=3, which='bottom')], + '╾': [p(half_hline, level=3), p(half_hline, which='right')], + '╿': [p(half_vline, level=3), p(half_vline, which='bottom')], } t, f = 1, 3