From 777a205bca64e1c929e7b0a35830a9cc45a40e3e Mon Sep 17 00:00:00 2001 From: Will McGugan Date: Tue, 7 Feb 2023 18:28:05 +0000 Subject: [PATCH] trailing commans --- src/textual/_border.py | 96 +++++++++++++++++++++++++++++++++++------- 1 file changed, 80 insertions(+), 16 deletions(-) diff --git a/src/textual/_border.py b/src/textual/_border.py index 9c521fab6..b6052cc8c 100644 --- a/src/textual/_border.py +++ b/src/textual/_border.py @@ -21,22 +21,86 @@ BORDER_CHARS: dict[ ] = { # Three tuples for the top, middle, and bottom rows. # The sub-tuples are the characters for the left, center, and right borders. - "": ((" ", " ", " "), (" ", " ", " "), (" ", " ", " ")), - "ascii": (("+", "-", "+"), ("|", " ", "|"), ("+", "-", "+")), - "none": ((" ", " ", " "), (" ", " ", " "), (" ", " ", " ")), - "hidden": ((" ", " ", " "), (" ", " ", " "), (" ", " ", " ")), - "blank": ((" ", " ", " "), (" ", " ", " "), (" ", " ", " ")), - "round": (("╭", "─", "╮"), ("│", " ", "│"), ("╰", "─", "╯")), - "solid": (("┌", "─", "┐"), ("│", " ", "│"), ("└", "─", "┘")), - "double": (("╔", "═", "╗"), ("║", " ", "║"), ("╚", "═", "╝")), - "dashed": (("┏", "╍", "┓"), ("╏", " ", "╏"), ("┗", "╍", "┛")), - "heavy": (("┏", "━", "┓"), ("┃", " ", "┃"), ("┗", "━", "┛")), - "inner": (("▗", "▄", "▖"), ("▐", " ", "▌"), ("▝", "▀", "▘")), - "outer": (("▛", "▀", "▜"), ("▌", " ", "▐"), ("▙", "▄", "▟")), - "hkey": (("▔", "▔", "▔"), (" ", " ", " "), ("▁", "▁", "▁")), - "vkey": (("▏", " ", "▕"), ("▏", " ", "▕"), ("▏", " ", "▕")), - "tall": (("▊", "▔", "▎"), ("▊", " ", "▎"), ("▊", "▁", "▎")), - "wide": (("▁", "▁", "▁"), ("▎", " ", "▋"), ("▔", "▔", "▔")), + "": ( + (" ", " ", " "), + (" ", " ", " "), + (" ", " ", " "), + ), + "ascii": ( + ("+", "-", "+"), + ("|", " ", "|"), + ("+", "-", "+"), + ), + "none": ( + (" ", " ", " "), + (" ", " ", " "), + (" ", " ", " "), + ), + "hidden": ( + (" ", " ", " "), + (" ", " ", " "), + (" ", " ", " "), + ), + "blank": ( + (" ", " ", " "), + (" ", " ", " "), + (" ", " ", " "), + ), + "round": ( + ("╭", "─", "╮"), + ("│", " ", "│"), + ("╰", "─", "╯"), + ), + "solid": ( + ("┌", "─", "┐"), + ("│", " ", "│"), + ("└", "─", "┘"), + ), + "double": ( + ("╔", "═", "╗"), + ("║", " ", "║"), + ("╚", "═", "╝"), + ), + "dashed": ( + ("┏", "╍", "┓"), + ("╏", " ", "╏"), + ("┗", "╍", "┛"), + ), + "heavy": ( + ("┏", "━", "┓"), + ("┃", " ", "┃"), + ("┗", "━", "┛"), + ), + "inner": ( + ("▗", "▄", "▖"), + ("▐", " ", "▌"), + ("▝", "▀", "▘"), + ), + "outer": ( + ("▛", "▀", "▜"), + ("▌", " ", "▐"), + ("▙", "▄", "▟"), + ), + "hkey": ( + ("▔", "▔", "▔"), + (" ", " ", " "), + ("▁", "▁", "▁"), + ), + "vkey": ( + ("▏", " ", "▕"), + ("▏", " ", "▕"), + ("▏", " ", "▕"), + ), + "tall": ( + ("▊", "▔", "▎"), + ("▊", " ", "▎"), + ("▊", "▁", "▎"), + ), + "wide": ( + ("▁", "▁", "▁"), + ("▎", " ", "▋"), + ("▔", "▔", "▔"), + ), } # Some of the borders are on the widget background and some are on the background of the parent