I would suggest using the Settings menu entry to change the console execute shortcut to enter, then modify the resulting customized shortcuts however you like.
Jason On Fri, Aug 3, 2018 at 6:06 PM vnijs <[email protected]> wrote: > The easiest way to do this seems to be the shortcut ui extension for > Jupyter. See link below > > https://github.com/jupyterlab/jupyterlab-shortcutui > > > > On Wednesday, June 20, 2018 at 3:42:44 PM UTC-7, vnijs wrote: >> >> Just started to use Jupyter lab. It is a great tool but the Shift >> Enter keyboard shortcut to execute code in a cell was unexpected. I'm so >> used to Cmd Enter (mac) or Ctrl Enter (windows) that I'd like to change >> this shortcut. This looks straight forward with "User overrides" but for >> some reason it doesn't take. See code I added: >> >> { >> "console:run-forced": { >> "command": "console:run-forced", >> "keys": [ >> "Cmd Enter" >> ], >> "selector": ".jp-CodeConsole-promptCell" >> } >> } >> >> FYI I'm using Version 0.32.1 on Ubuntu 18.04 >> > -- > You received this message because you are subscribed to the Google Groups > "Project Jupyter" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To post to this group, send email to [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/jupyter/8337d911-cb73-47cd-b463-0818560f8631%40googlegroups.com > <https://groups.google.com/d/msgid/jupyter/8337d911-cb73-47cd-b463-0818560f8631%40googlegroups.com?utm_medium=email&utm_source=footer> > . > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "Project Jupyter" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/jupyter/CAPDWZHxEjouKKsT7%2BF274PrzTR58k1mCzWH%2BfJWQygaupdjSDw%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
