bar-line-interface

Bar line.

Print a special bar symbol. It replaces the regular bar symbol with a special symbol. The argument bartype is a string which specifies the kind of bar to print. Options are :|, |:, :|:, ||, |., .|, and .|..

These produce, respectively, a right repeat, a left repeat, a double repeat, a double bar, a start bar, an end bar, and a thick double bar. In addition, there is an option ||: which is equivalent to |: except at line breaks, where it produces a double bar (||) at the end of the line and a repeat sign (|:) at the beginning of the new line.If bartype is set to empty then nothing is printed, but a line break is allowed at that spot.

gap is used for the gaps in dashed barlines.

User settable properties:

bar-size (dimension, in staff space)

size of a bar line.

gap (dimension, in staff space)

Size of a gap in a variable symbol.

glyph (string)

a string determining what (style) of glyph is typeset. Valid choices depend on the function that is reading this property.

hair-thickness (number)

Thickness of the thin line in a bar line.

kern (dimension, in staff space)

Amount of extra white space to add. For bar line, this is the amount of space after a thick line.

thick-thickness (number)

Bar line thickness, measured in line-thickness.

thin-kern (number)

The space after a hair-line in a bar line.

Internal properties:

glyph-name (string)

a name of character within font.

This grob interface is used in the following graphical objects: BarLine and SpanBar