Glen Mazza wrote:
first--but I'm sure Joerg meant no fix (i.e. patch)
had been submitted yet--not that it can't be fixed!
Well, I meant nothing had changed, and the problem hadn't been
investigated.
In any case, have alook at the code (in LineArea.java), it is
an utter mess. I don't think cleaning up is worth the trouble,
which means there will be no fix, except switching to HEAD.
J.Pietschmann
---------------------------------------------------------------------
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]
