fix devtools shortcut for mac.

should work in firefox, hopefully also in chrome.