The default "shift + f12" now works for me in Ubuntu 8.04.1 (latest update: 2008-09-10).
** Changed in: kdevelop3 (Ubuntu)
Status: Invalid => New
--
Shift+F12 does not work
https://bugs.launchpad.net/bugs/40252
You received this bug notification because you are a member of Ubuntu
Bugs, which is a direct subscriber.
--
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
