[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Dashed bar-line bug
From: |
Thomas Morley |
Subject: |
Re: Dashed bar-line bug |
Date: |
Sat, 3 Nov 2012 17:54:26 +0100 |
2012/11/3 David Kastrup <address@hidden>:
[...]
>
> The convert-ly rules for 2.17.5 state
>
> str = re.sub (barstring + r'":"', '\\1\\2";"', str)
>
> which is not really related to "!". Is this an oversight?
No.
Rereading Jakub's initial mail, I think he confused dotted with dashed.
In 2.16.0 ":" was used for the _dotted-bar_ _and_ for the colon in a
repeat-bar-line.
The dotted-bar is now assigned with ";"
The dashed-bar with "!"
In 2.17.5 ":" is assigned to the colon of a repeat-bar-line, only.
-Harm