On Fri, Dec 12, 2003 at 12:48:32PM +0100, Michael Schmitt wrote: > BTW: Why does insetert need metrics(...) & draw(...)? If they are really > needed, then we have to fix insetcollapsable instead.
They change the font to 'red typewriter', don't they? Andre'
