Ciao Mattias,

In data domenica 18 maggio 2025 13:09:16 Ora legale dell’Europa centrale, 
Mattias Engdegård ha scritto:
> 17 maj 2025 kl. 22.37 skrev Vincenzo Pupillo <v.pupillo@gmail.com>:
> > No, the spaces before the arrow vary according to the line number of the
> > error. The arrow is aligned with the vertical bar separating the line
> > number from the error description.
> 
> Thank you for finding that out. Then I think (repeat 1 6 " ") more
> complicated than it's worth; just (+ " ") will do (and is actually faster).

Done.
The patch is attached.

Thanks.
Vincenzo