I can also verify that after changing the shortcut to shift-F11 it works
fine. There must be a hidden shortcut conflict. Perhaps from outside
Kdevelop? I can't tell.

-- 
Shift+F12 does not work
https://bugs.launchpad.net/bugs/40252
You received this bug notification because you are a member of Kubuntu
Team, which is a direct subscriber.

-- 
kubuntu-bugs mailing list
[EMAIL PROTECTED]
https://lists.ubuntu.com/mailman/listinfo/kubuntu-bugs

Reply via email to