-
-
Notifications
You must be signed in to change notification settings - Fork 654
Closed
Description
Currently I need to switch between my keyboard and mouse a lot to operate the notebook, especially when using it for development. For example, I would like to be able to restart the server without going for the mouse. There should be a way of assigning keyboard shortcuts.
Component: notebook
Issue created by migration from https://trac.sagemath.org/ticket/5