It’s not possible to override the keyboard shortcuts with overrides.json with the current codebase. I put in a PR here: Allow overrides.json to override default shortcuts. by jasongrout · Pull Request #9858 · jupyterlab/jupyterlab · GitHub
It’s not possible to override the keyboard shortcuts with overrides.json with the current codebase. I put in a PR here: Allow overrides.json to override default shortcuts. by jasongrout · Pull Request #9858 · jupyterlab/jupyterlab · GitHub