ahamilton/diff-edit
1
0
Fork 0
Code Releases Activity

Use arrows in connectors

Browse source 
- Arrows are larger and make the color easier to see.
- Arrows point in the direction text is copied when they're pressed.
This commit is contained in:
Andrew Hamilton 2022-03-15 20:49:37 +10:00
parent 8c126f9a73
commit a5fae0c0d0
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
diff_edit/__init__.py
View file

@ -109,8 +109,8 @@ def draw_connector(columns, color, left_y, right_y):
left_corner, right_corner = ("┓", "┗") if left_y < right_y else ("┛", "┏") left_corner, right_corner = ("┓", "┗") if left_y < right_y else ("┛", "┏")
if left_y == right_y: if left_y == right_y:
left_corner, right_corner = "━", "━" left_corner, right_corner = "━", "━"
for column, y, arrow, corner in [(left_arrows, left_y, "╺", left_corner), for column, y, arrow, corner in [(left_arrows, left_y, "◂", left_corner),
(right_arrows, right_y, "╸", right_corner)]: (right_arrows, right_y, "▸", right_corner)]:
if y <= 0: if y <= 0:
pass pass
elif y >= height - 1: elif y >= height - 1: