Re: bug in kde-konsole ?