[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Tick bar from font
From: |
Dan Eble |
Subject: |
Re: Tick bar from font |
Date: |
Fri, 5 May 2023 07:10:42 -0400 |
On May 5, 2023, at 06:14, Jean Abou Samra <jean@abou-samra.fr> 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 property BarLine.tick-font-glyph-name to enable the
>> behavior, but I need some advice about font-size.
>
>
> Could you elaborate on the expected advantage?
This is in the context of 6564. I am looking for ways to increase the
configurability and maintainability of Divisio by changing it to share
internals with BarLine, and one of the differences between the two is the
variety of shapes used for the divisio minima.
—
Dan