Re: Poor man's punctus divisionis

[Han-Wen Nienhuys]

Pal Benko wrote:
> Hi all,
>
> the attached patch implements punctus divisionis as a generic bar line 
> symbol.
> The user must state explicitly where the dot is to be placed:
> \bar "0" places it just below the staff, \bar "1" places it in the lowest
> staff-space, etc.

this is out of style.  Why can't it simply use the staff-position property?

--
 Han-Wen Nienhuys - address@hidden - http://www.xs4all.nl/~hanwen