It might be unrelevant for Debian, but I can still reproduce the bug
under FreeBSD 6.0 / KDE3.5.0 /Kile 1.8.1 . I haven't try it under
Debian, though.
Marcin
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]