Re: \bar "||" and \repeat around a line break

[Johan Vromans]

Frank Steinmetzger <address@hidden> writes:

> Am Donnerstag, 17. Januar 2013, 08:28:37 schrieb Ralph Palmer:
>> In addition, you can specify "||:", which is equivalent to "|:" except at
>> line breaks, where it gives a double bar line at the end of the line and a
>> start repeat at the beginning of the next line.
>
> Excellent. Just as I was implementing it I noticed that the \grace approach 
> caused the \breathe sign which comes right before the \bar "||" to appear 
> wrong; namely after the linebreak. The ||: approach does it right.

Except that it does not work with \repeat, AFAIK.

As I said earlier, I think that \bar "||" should behave like "||:" when
followed by \repeat.

-- Johan