Re: Combining custom bar line with standard elements

[Fr. Samuel Springuel]

> On 6 Dec, 2020, at 1:47 PM, Thomas Morley <thomasmorley65@gmail.com> wrote:
> 
> Ok, then my initial understanding
>> Iiuc, you want to change thick-thickness and font-size for barlines 
>> containing "[" or "]".
> was wrong. You rather want a different thick-thickness for the thick
> line in bracket-barlines and for the thick-barline.
> Since the same procedure, make-thick-bar-line, is per default used for
> both, we need to define own bar-line-printing-procedures, reassigning
> them the relevant glyphes.
> For this purpose I look at (new invented)
> BarLine.details.bracket-thick-thickness to distuingish it from default
> thick-thickness.
> This will cause a programming error _if_ compiled with -dcheck-internal-types:
> programming error: Grob `BarLine' has no interface for property `details'
> For now you can ignore it, imho.
> 
> Leading to (slightly modified copies from bar-line.scm):


Thank you.  That’s doing the job in context.

✝✝✝✝✝✝✝✝✝✝✝✝✝✝✝✝✝✝✝✝✝✝✝✝✝✝
Fr. Samuel, OSB
(R. Padraic Springuel)
St. Anselm’s Abbey
4501 South Dakota Ave, NE
Washington, DC, 20017
202-269-2300
(c) 202-853-7036

PAX ☧ ΧΡΙΣΤΟΣ