Arnt, }..there must be at least one such patch-fix-patch story in the }Debian history??? We're all human, no? Humans err, even }if the smart ones learns from it. ;-) There were 2. They were on planned. ... Brought to you by jEdit ...Which rocks massively.