From a5fae0c0d03adef8db0ae8c3334a220062a82099 Mon Sep 17 00:00:00 2001 From: Andrew Hamilton Date: Tue, 15 Mar 2022 20:49:37 +1000 Subject: [PATCH] Use arrows in connectors - Arrows are larger and make the color easier to see. - Arrows point in the direction text is copied when they're pressed. --- diff_edit/__init__.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/diff_edit/__init__.py b/diff_edit/__init__.py index 1ab520d..f303639 100755 --- a/diff_edit/__init__.py +++ b/diff_edit/__init__.py @@ -109,8 +109,8 @@ def draw_connector(columns, color, left_y, right_y): left_corner, right_corner = ("┓", "┗") if left_y < right_y else ("┛", "┏") if left_y == right_y: left_corner, right_corner = "━", "━" - for column, y, arrow, corner in [(left_arrows, left_y, "╺", left_corner), - (right_arrows, right_y, "╸", right_corner)]: + for column, y, arrow, corner in [(left_arrows, left_y, "◂", left_corner), + (right_arrows, right_y, "▸", right_corner)]: if y <= 0: pass elif y >= height - 1: