1. 2009-01-18 Re: [Konsole-devel] How to switch current gnome-terminal/konsole konsole-deve Robert Knight 2. 2009-01-18 [Konsole-devel] How to switch current gnome-terminal/konsole konsole-deve Alexander GQ Gerasiov