-
-
Notifications
You must be signed in to change notification settings - Fork 285
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Document the list of keyboard shortcuts #284
Comments
Coincidentally, I found the list in Ctrl+Shift+? / F1, but it seems to be missing Ctrl-D. |
It's missing a lot of shortcuts, like Ctrl+C - those are defined by CodeMirror |
Where do you think the list should go? |
@fonsp Maybe in readme, so that new users know how to use them from the beginning? |
The F1 key should be advertised inside Pluto itself |
@fonsp Can this issue stay closed, as I want to close my own issues? You can open another one if this is still a problem. |
What do you mean? |
I tried to find a list of keyboard shortcuts, but it seems they aren't documented. I found some in the source code: https://github.com/fonsp/Pluto.jl/blob/master/frontend/components/CellInput.js#L57
Besides those, there is Ctrl-D which deletes the current line, for example. Are there some more? Is there an alternative to Pg Up and Down for navigation?
Nevertheless, I think all those should be documented, as they greatly improve the productivity, removing the need to click every second. 😄
The text was updated successfully, but these errors were encountered: