Lukas, This is marvellous, thank you! Just one question: if I wanted to remove the preceding zeros from the number, how would I do that?
Regards, Brent. On Tue, 8 Jun 2021 at 23:00, Lukas-Fabian Moser <l...@gmx.de> wrote: > > > I'm sure our scheme wizards will be able to provide a much better > > solution (for instance, the number "000" should really be a number, > > not a string), but here is an approximation: > > Here an improved version which allows the number to entered as a number > (and the descriptive text as a simple markup-list). > > Lukas > >
