[Bug 56739] The keyboard shortcut F12 is used twice

Jens Dagerbo jens.dagerbo at swipnet.se
Sat May 10 18:54:03 UTC 2003


On Saturday 10 May 2003 13.02, Roberto Raggi wrote:
> On Saturday 10 May 2003 03:22, Jens Dagerbo wrote:
> > 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
>
No, it IS a "problem" in 3.1. I checked with one of the kate devels (he was a 
bit annoyed by this as well) and what seems to be the case is: 

Up to 3.2, F12 is used by _katepart_ for dynamic wrapping, in 3.2 this is 
moved somewhere else (possibly F10)

_Kate_ however (as opposed to katepart) has a plugin (OpenHeader) that ALSO 
uses F12 (for source/header switching) that overrides the katepart shortcut 
if it is loaded. (This is why, from 3.2, katepart's shortcut is moved.)

(I don't know what is true for 3.0, but I don't think it even had dynamic 
wrapping.)

This leaves a (minor) mess. The best is probably to go back to F12 for our 
source/header switch (it's a comfortable shortcut, and compatible with Kate), 
but this will only work if the users on 3.1 (and 3.0?) manually change their 
default katepart dyn wrap shortcut away from F12.


// teatime




More information about the KDevelop-devel mailing list