>> Now I'm confused.  How on earth do we scale with Lucid?
 >
 > Apparently, we do scale with Lucid. Even the scroll bar probably (although that one is harder to tell).

Interesting.

 > x_rest.diff?

Yes.

 > It doesn't seem to make any effect on the problem behavior.
 >
 > Attaching *foo* after 2 evaluation, then resizing the frame with a mouse, then 2 evaluations again.

My bad.  I didn't scale the text sizes when calculating the residue.
Please try again.

Thanks, martin