1. 2001-01-21 Re: FIX: Konsole Options -> Settings Stephan Kulow 2. 2001-01-21 FIX: Konsole Options -> Settings Peter Putzer