Jean-Marc Lasgouttes wrote:
Richard Heck <[EMAIL PROTECTED]> writes:
It was arbitrary. I should have been more explicit that I wasn't
actually suggesting it as a fix, just as an illustration of the kind
of thing that is needed.
I think what's happening is that the box is aligning to the exact
right edge of the screen or something like that, and not to the edge
of the text area. But I don't know this code at all.
With my patch, it looks like the middle of the box is aligned on the
right margin. This is weird.
Abdel, do you have ideas?
The fact that size (= 0.75 * fm.maxAscent()) is used in the x expression
looks very suspicious to me. You want to get rid of it...
Abdel.
