• Florian Müllner's avatar
    wall-clock: Separate date and time by em-space · 86892ad0
    Florian Müllner authored
    The designers consider it more elegant and balanced than a comma, so
    use that to separate date and time. Handle it the same way as colon
    vs. ratio is handled, and only use the UTF8 character when using
    a UTF8 locale. Otherwise fall back to a double space.
C.ref.ui 582 Bytes