Re: Double-underline markup

[Thomas Morley]

Am Sa., 19. Okt. 2019 um 13:35 Uhr schrieb David Kastrup <address@hidden>:
>
> Thomas Morley <address@hidden> writes:

> > Iiuc, you recommend to fix \underline to make it work with most simple
> > input like:
> >
> > \markup {
> >   \override #'(offset . 12) \underline
> >   \override #'(offset . 10) \underline
> >   \override #'(offset . 8) \underline
> >   \override #'(offset . 6) \underline
> >   \override #'(offset . 4) \underline
> >   "underlined"
> > }
> >
> > I'll have a look.
>
> No, to have it work with most simple input like
>
> \markup
>   \underline
>   \underline
>   \underline
>   \underline
>   \underline
>   "underlined"

Ok, understood. I'll give it a try...

Thanks,
  Harm