Add settings to enable double duty Esc and to disable Shift-Esc override in Command mode#110
Merged
krassowski merged 5 commits intojupyterlab-contrib:mainfrom Sep 30, 2023
Commits
Commits on Sep 9, 2023
Commits on Sep 10, 2023
Commits on Sep 21, 2023
- authored