Well, that sucks. :) We need to fix that in the core code.

The idea is to have at least 1 shortcut definition to cover all platforms so that shortcuts for new platforms (e.g. "linux") are automatically defined. So, please change this to:

```
        togglePanelShortcut = [{
            // Note: Brackets will write error message to console
            // about key "Cmd-Alt-/" already being registered on mac.
            key: "Ctrl-Alt-/"
        }, {
            // Define key again explicitly for mac to prevent Brackets
            // from converting Ctrl to Cmd.
            key: "Ctrl-Alt-/",
            platform: "mac"
        }], 
```