[Bug 40252] Shift+F12 does not work

[Vincenzo Di Massa]

Public bug reported:

Affects: kdevelop3 (Ubuntu)
       Severity: Minor
       Priority: (none set)
         Status: Unconfirmed


Description:
The default keybinding for opening the corresponding
header/implementation file does not work.

To make it work you have to remap it to something different (like
Shift+F12)

** Changed in: kdevelop3 (Ubuntu)
     Severity: Normal => Minor

-- 
Shift+F12 does not work
https://launchpad.net/bugs/40252