From 8e565d5ab1f52b5b83a8063dbd7b5135c575642b Mon Sep 17 00:00:00 2001 From: Kovid Goyal Date: Mon, 9 Jan 2017 15:21:32 +0530 Subject: [PATCH] More box drawing chars --- kitty/fonts/box_drawing.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/kitty/fonts/box_drawing.py b/kitty/fonts/box_drawing.py index c0f9b03a8..9868b083f 100644 --- a/kitty/fonts/box_drawing.py +++ b/kitty/fonts/box_drawing.py @@ -307,6 +307,8 @@ t, f = 1, 3 for start in '┌┐└┘': for i, (hlevel, vlevel) in enumerate(((t, t), (f, t), (t, f), (f, f))): box_chars[chr(ord(start) + i)] = [p(corner, which=start, hlevel=hlevel, vlevel=vlevel)] +for ch, c in zip('╭╮╯╰', '┌┐┘└'): + box_chars[ch] = [p(corner, which=c)] # TODO: Make these rounded for i, (a, b, c, d) in enumerate(( (t, t, t, t), (f, t, t, t), (t, f, t, t), (f, f, t, t), (t, t, f, t), (t, t, t, f), (t, t, f, f),