>>>>> "John" == John Levon <[EMAIL PROTECTED]> writes:
John> On Mon, Dec 10, 2001 at 10:47:28AM +0100, Jean-Marc Lasgouttes John> wrote: >> What happens if you change from a very big font to a small one (or >> the opposite) are thing correctly redrawn? John> it works for me ... inside a minipage and out ... OK, so it is probably right. I'll commit it. JMarc
