Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
devtools: change shortcuts for switching prompts
As requested in #9 changed from PageUp/PageDown to CTRL+,/CTRL+.(close #9) Later I want to add Dirac welcome console message which will explain keyboard shortcuts to new users.
- Loading branch information