From a67ed63ee865b0f8bd647f4cc16f94e729432d95 Mon Sep 17 00:00:00 2001 From: Elias Dorneles Date: Tue, 25 Jul 2023 21:55:11 +0200 Subject: [PATCH] DigitDisplay: more followup on PR comments --- src/textual/widgets/_digit_display.py | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/textual/widgets/_digit_display.py b/src/textual/widgets/_digit_display.py index c58769af294..04e12924ea5 100644 --- a/src/textual/widgets/_digit_display.py +++ b/src/textual/widgets/_digit_display.py @@ -6,8 +6,10 @@ _character_map: dict[str, str] = {} -# in the mappings below, we use underscores to make spaces more visible, -# we will strip them out later +_VIRTUAL_SPACE = "·" + +# in the mappings below, we use a dot instead of spaces to make them more +# visible, we will strip them out later _character_map[ "0" ] = """ @@ -189,8 +191,6 @@ """ -_VIRTUAL_SPACE = "·" - # here we strip spaces and replace virtual spaces with spaces _character_map = { k: v.strip().replace(_VIRTUAL_SPACE, " ") for k, v in _character_map.items()