> On 6 Dec, 2020, at 1:47 PM, Thomas Morley <thomasmorle...@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 ☧ ΧΡΙΣΤΟΣ