Re: MIDI title?

[Aaron Hill]

On 2021-11-19 11:28 am, David Kastrup wrote:
> What are other people's feelings here?  Should we allow an explicit
> specification of the title as "" to override such a fallback?

Could it work to add a midiTitle property/field to allow users more 
control?

The default behavior when midiTitle is not specified could still be to 
inherit the \header title or generate one based on the file name when 
title is unset.  If a user really wants no title in the MIDI, they would 
explicitly set midiTitle to #f or "".  The idea here is that a 
zero-length string is special-cased to result in no emitted title, which 
works around the compatibility issue you described.


-- Aaron Hill