Re: Design flaw in Rest_collision

[Werner LEMBERG]

>> Do the different rest glyphs actually have different height?  Would
>> it be possible to stipulate that they are not supposed to, and just
>> let the code for rest height in general return the height of the
>> standard rest glyph without bothering to check the on-staffiness?

I don't understand.  A 64th rest glyph certainly has a larger height
than a glyph for the whole rest.

> I wanna say that they do (it'd be a difference of half a ledger
> line) but I could be wrong.  I know nothing about metafont - someone
> more competent than I would have to check.

It seems that you mean something special if you talk about `height'...


    Werner