gui.Shortcut: Binding to Ctrl key on Mac OS X?

From the Shortcut wiki entry:

Supported keys: A-Z, 0-9, Comma, Period, Home, End, PageUp, PageDown, Insert, Delete, Arrow keys (Up, Down, Left, Right) and the Media Keys (MediaNextTrack, MediaPlayPause, MediaPrevTrack, MediaStop). Note that Shortcut.key can have exactly one keycode.

What’s “Comma”? If you try to add a Comma+V shortcut, it’ll complain that the key isn’t valid, so I thought it that’s just a typo in the wiki and should be “Command”. It doesn’t complain if you use Command+V (even on Windows) but it never fires the callback when the keys are pressed (on Mac OS X).

---

Modifiers: Ctrl (On Mac OS X, “Ctrl” correspond to the Command keys on the Macintosh keyboard), Alt, Shift. Note that Shortcut.key takes zero or more modifiers.

This is really weird. I think the user should have to check the current platform and bind to ctrl or command themselves accordingly. With the current implementation, how can I bind to ctrl on Mac OS X? It seems impossible.

<bountysource-plugin>

Want to back this issue? Post a bounty on it! We accept bounties via Bountysource. </bountysource-plugin>

[ghostoy]

@fritx Actually the behavior was changed since 0.13.0. And now Command / Super / Cmd are the same key. On Windows & Linux, it is WinKey. On Mac, it’s Command key.

[fritx]

Now seems both Command/Ctrl work with 0.18.8 in Mac. I don’t have to forcibly replace Command with Ctrl in Mac any more.