On Wed, 14 Jul 2004, Christopher Hylands Brooks wrote: > I did try jdk1.5 and the problem was fixed. I'll try to cvs head today. I rebuilt with jdk 1.5 as well, and it does fix the problem. Actually the 'look and feel' of the GUI changes a bit with jdk 1.5. Might just be the fonts. Tobin