Re: Null midi device

[Raphael Mankin]

On 26/08/2024 09:56, David Kastrup wrote:
> Raphael Mankin <raph@mankin.org.uk> writes:
>
> > Is there a null midi device so that I can say explicitly that I do not
> > want midi output for this staff, as opposed to "I have forgotten to
> > specify it"?
>
> Does something like
>
> \new Staff \with { \remove "Staff_performer" } { ... }
>
> do what you want?

Thank you. Not as obvious as midiInstrument=null, but it will do