On Sun, 28 Jul 2002 15:45:19 +0200 Jasper Huijsmans <huysmans at users.sourceforge.net> wrote: > The panel in CVS now contains the new tiny size. It seems to work for > me. Please report if you encounter any problems with it. > [...] FWIW, it looks like this: http://members.home.nl/jbhuijsmans/screenshot-20020728.png Jasper