Allow Differentiating between Right and Left Side Modifiers

[christianmagill]

A few different launchers like LaunchPalette and rcmd allow you to differentiate between right and left side modifiers. So you could for instance have one shortcut for <right cmd> + k, and a different shortcut for <left cmd> + k.

This increases the number of first level shortcuts available exponentially.

I'd love to see this functionality brought to LeaderKey as it creates so much more flexibility and I much prefer the interface of LeaderKey.