Re: [jupyter] enlarge GUI's stop button

15 views
Skip to first unread message

Brian Granger

unread,
Nov 1, 2017, 4:08:35 PM11/1/17
to Project Jupyter
see discussion here:

https://github.com/jupyter/notebook/pull/2965



On Tue, Oct 31, 2017 at 1:55 PM, Camille Goudeseune <c...@uiuc.edu> 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 jupyter+u...@googlegroups.com.
> To post to this group, send email to jup...@googlegroups.com.
> 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
bgra...@calpoly.edu and elli...@gmail.com

Brian Granger

unread,
Nov 1, 2017, 4:11:03 PM11/1/17
to Project Jupyter
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.
Reply all
Reply to author
Forward
0 new messages