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