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