On Tuesday 11 March 2003 09:00 pm, Michael Kedl wrote: > 3) resizing doesn't quite work right away either; garbages my fonts until I > exit and restart > I'll look for this too.... I was already working on this, just committed a fix to CVS. Isaac