> Might I suggest that “to-barline” is potentially
> misleading/confusing…?
>
> On the other hand:
>
> end-at-barline, for a pedal coded for release on a note **just
> after** a barline, might be more clearly descriptive of the
> current behaviour; and
>
> extend-to-barline, for a pedal coded for release on a note
> **just before** a barline, might be more suggestive of the
> behaviour Maurits was expecting.
>
> Is there any technical reason both of these different-but-related
> properties can’t/shouldn’t be made available?
I suggest you file an issue.
Werner