Shift+F12 does not work
Bug #40252 reported by
Vincenzo Di Massa
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
kdevelop3 (Ubuntu) |
Fix Released
|
Low
|
Unassigned |
Bug Description
The default keybinding for opening the corresponding header/
To make it work you have to remap it to something different (like Shift+F12)
To post a comment you must log in.
It works when using e.g. Shift+F11 or anything else. When you try to switch back to default (Shift+F12) switching header/ implementation fails.
KDevelop 3.3.2-0ubuntu3 on Kubuntu Dapper Drake (latest upgrades from Mon 8 May 14:40:43 CEST 2006).