1. 2007-07-24 Re: [Konsole-devel] [PATCH] Shortcuts with hidden menu bar kde-core-de Robert Knight 2. 2007-07-24 Re: [Konsole-devel] [PATCH] Shortcuts with hidden menu bar konsole-dev Robert Knight