-
-
Notifications
You must be signed in to change notification settings - Fork 294
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
Keyboard shortcuts #163
Comments
Ah I see there are a few other issues regarding shortcuts. The strangest one for me was Shift+Enter adding a new cell. What if:
|
Hey! Thanks for your input in the project, I did not know about funky About swapping shortcuts: 🤷♀️ |
Perhaps add all the jupyter standard keybindings? it is a very long list, but few notables are:
|
I think it's good to copy keybindings from familiar editors but I dislike Jupyter's two-mode editing, see #65. (I dislike traditional notebook programmer experience in general, hence this project 😊) |
I definitely miss having a shortcut to delete a cell. Especially since with the current bindings I keep adding blank cells when I use shift-enter to reevaluate, as @MikaelSlevinsky already mentioned. |
I'm compiling a list in #65 |
I found a few of them in the FAQ, but one isn't working on my setup (Chrome in macOS on a MacBook Pro laptop where
delete == backspace
, i.e. there's no special delete key as there is on a detached keyboard):Also, when I use the last one to show keyboard shortcuts, I see two others that are unlisted in the FAQ that both work:
To help make this more intuitive (and faster for the user), there could be a few others, for example:
The keyboard shortcuts in Jupyter are generally very useful. They could serve as a source of inspiration. (I realize these two projects are distinct, but maybe a little bit more ease-of-use would go a long way for Pluto.jl. Speed is a combo of good software and a human being able to use it!)
The text was updated successfully, but these errors were encountered: