On May 5, 2023, at 06:14, Jean Abou Samra wrote:
>
> Le jeudi 04 mai 2023 à 22:51 -0400, Dan Eble a écrit :
>>
>>
>> I thought it would be nice to be able to draw a tick BarLine from a font
>> glyph in lieu of the default rounded rectangle. I have a working prototype
>> that uses a new prope
Le jeudi 04 mai 2023 à 22:51 -0400, Dan Eble a écrit :
> I thought it would be nice to be able to draw a tick BarLine from a font
> glyph in lieu of the default rounded rectangle. I have a working prototype
> that uses a new property BarLine.tick-font-glyph-
> name to enable the behavior, but I