Also, the stop button is bound to the "i i" (double press i in command mode). In the browser we have fewer keyboard options available - however, you should be able to customize that shortcut in the Help menu -> Edit Keyboard shortcuts.
On Wed, Nov 1, 2017 at 1:08 PM, Brian Granger <[email protected]> wrote: > see discussion here: > > https://github.com/jupyter/notebook/pull/2965 > > > > On Tue, Oct 31, 2017 at 1:55 PM, Camille Goudeseune <[email protected]> wrote: >> Can the GUI include the letters "stop" beside that button, just like the run >> button? >> That makes it a bigger target for the mouse. >> >> Or, can classic Visual Studio keyboard shortcuts Ctrl+F5 be bound to those >> buttons? >> >> Optimize for frequent operations... >> >> -- >> 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/f5ba5e1c-c2d5-4b63-b08e-ffd020e13912%40googlegroups.com. >> For more options, visit https://groups.google.com/d/optout. > > > > -- > Brian E. Granger > Associate Professor of Physics and Data Science > Cal Poly State University, San Luis Obispo > @ellisonbg on Twitter and GitHub > [email protected] and [email protected] -- Brian E. Granger Associate Professor of Physics and Data Science Cal Poly State University, San Luis Obispo @ellisonbg on Twitter and GitHub [email protected] and [email protected] -- 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/CAH4pYpSYjs0i%3D_xU%3DdsF14r7wZTT0RCvKySHyw5KkK1n6oDGmg%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
