Hi Lorenz, Delete line is not something bound by our shortcut system - I guess that's defined by Codemirror, the editor component we use. That's going to require totally different code for removing a shortcut, unfortunately.
Thomas On 3 April 2017 at 17:06, Lorenz Braun <[email protected]> wrote: > Hello there, > > i am using the jupyter notebook on my Mac with the German Neo 2 Layout. > Unfortunately i can't type ':' because Cmd-d is bind to deleteLine. > > I tried to remove the Shortcut by adding this to my notebook: > >> %%javascript >> >> Jupyter.keyboard_manager.command_shortcuts.remove_shortcut('cmd-d'); > > > Which yields this error: > >> Javascript error adding output! >> Error: trying to remove a non-existent shortcut >> See your browser Javascript console for more details. >> > > I guess i need to change Cmd-d to something else but i can't figure out > what it needs to be. > I also tried: > ctrl-d > meta-d > alt-d > > Does anyone know what to put in there? > > Kind regards > Lorenz > > -- > 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/93a543b5-ca71-436f-ab88-f3455ad09dc9%40googlegroups.com > <https://groups.google.com/d/msgid/jupyter/93a543b5-ca71-436f-ab88-f3455ad09dc9%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/CAOvn4qgMThM4AfJLNpGGw5KEii%3DxwxgzUdY%3DQRvTuP%3Dx9-LvxA%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
