ronisbr/PrettyTables.jl

Centring on decimal separator

CiaranOMara opened this issue · 3 comments

CiaranOMara commented

There is a Unicode character 'FIGURE SPACE' (U+2007,  ). That character may provide a solution for centring different fonts on a decimal separator.

JuliaData/DataFrames.jl#3096

ronisbr commented

Thanks @CiaranOMara !

What I does not understand is how to treat numbers that have different widths in non-monospace fonts. For example:

1111111111
0000000000

Both lines have 10 numbers.

CiaranOMara commented

Oh, that's annoying. I thought a font's numeric characters had the same width, and the purpose of the figure/numeric space was to facilitate grouping in precisely this type of scenario.

  • 👍1
ronisbr commented

The only way to get this is by using monospaced fonts. However, nobody liked the idea to use monospace fonts in HTML printing.