Hi Christoph, > as #1770 is still not fixed, I noticed that the bug has disappeared from > the BTS. http://bugs.guug.de/db/17/1770.html gives a "not found". > > Can anyone investigate this? it was fixed 2004-02-06 for one night but broke slang compatibilty. I think the bug report was erased. But a day later the patch was kicked out again because of the slang compilation problems. Thomas