Closed davebrothers closed 7 years ago
Thanks @eidolonic for the pull request! I'm gonna merge in the request but then change the suggested keys in a subsequent commit. The Alt+[#]
commands are used to switch between tabs on Linux. I'm thinking I'll probably switch the "default" suggested commands to Alt+Shift+[#]
.
Perfect -- thanks for the merge!
Alt+[1..4]. Closes #22