Re: [ jEdit-users ] Docking

[Todd P. <to...@da...>]

I can confirm this bug in linux with 2.6pre9 and the ibm 1.3 jdk. I needed
to click about 9+ times each time before it shrunk.

Todd


-- 
 Todd Papaioannou @ Earth  http://www.luckyspin.org
 Luckyspin @ TerraFirmA   http://terrafirma.terra.mud.org
 Why search for life when you can create it? http://www.dalilab.com
.         .        .       .      .     .    .   .  .  . .