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] -- 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/CAH4pYpTZQO2tw4r1iqXo2_F3ZVWOWA-yy-CRfr-yxJ%2BRW7sLmA%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
