[Bug 56739] The keyboard shortcut F12 is used twice

[Roberto Raggi]

On Saturday 10 May 2003 03:22, Jens Dagerbo wrote:
> ------- You are receiving this mail because: -------
> You are the assignee for the bug, or are watching the assignee.
>
> http://bugs.kde.org/show_bug.cgi?id=56739
> jens.dagerbo at swipnet.se changed:
>
>            What    |Removed                     |Added
> ---------------------------------------------------------------------------
>- Status|UNCONFIRMED                 |RESOLVED
>          Resolution|                            |FIXED
>
>
>
> ------- Additional Comments From jens.dagerbo at swipnet.se  2003-05-10 03:22
> ------- It's stupid of katepart to occupy an F-Key for a feature such as
> switching dynamic wrapping on and off, but we shouldn't collide with the
> editor we know 90% of our users will be using. Changed "switch" to
> Shift+F12 for now.

i don't think it is a good idea, kate in kde 3.1 uses F12 to switch 
header/source. at the moment it is only a problem with kdevelop and kde3.0 

ciao robe