This repository has been archived by the owner on Mar 30, 2021. It is now read-only.

Recently used: hotkeys #44

Open

mikehearn opened this issue Nov 3, 2018 · 0 comments

Labels

shell

Collaborator

mikehearn commented Nov 3, 2018

Assign the most recent 9 app a numeric hotkey and let the user start it by just pressing the number.

mikehearn added the shell label

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.