Thank you aDope, the trick with mapping the shortcut using the NumPad works great, and you can even use the normal Cmd-Shift-7 shortcut without the NumPad after.
Topic:
Developer Tools & Services
SubTopic:
Xcode
Tags: