[Bug 56739] New: The keyboard shortcut F12 is used twice

[Julian Rockey]

On Wednesday 02 Apr 2003 9:35 am, Amilcar do Carmo Lucas wrote:
> Just "configure shortcuts" and reassingn the key.
> The problem is that the F12 cames from kate so kate interferes with the
> Gideon shortcut.
>  But if you used another editor another set of keys gets messed up.
> There's no garanteed set of keys that no editor uses and that are free
> for Gideon!
> So the current solution is to let the user solve this problems.
I disagree. I think we should change it. We *know* users are going to use Kate 
or QT editor with KDevelop, so we can at least make sure no shortcuts clash 
with these. We can't cater for unknown KTextEditors, but we *can* cope with 
the defaults.
cheers
Julian

> Maybe in the future I shortcut crash mechanism can be build that runs on
> startup and warns
> the user about it and presents some possibility to change them.
>
> Amilcar
>