paperlined.org
apps
>
autohotkey
>
types_of_hotkeys
document updated 14 years ago, on Nov 13, 2009
- maybe set the right-shift key to be "escape"?