Pluto.jl: Document the list of keyboard shortcuts

[zlatanvasovic]

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. :smile:

[zlatanvasovic]

Coincidentally, I found the list in Ctrl+Shift+? / F1, but it seems to be missing Ctrl-D.

[fonsp]

It's missing a lot of shortcuts, like Ctrl+C - those are defined by CodeMirror

[fonsp]

Where do you think the list should go?

[zlatanvasovic]

@fonsp Maybe in readme, so that new users know how to use them from the beginning?

[fonsp]

The F1 key should be advertised inside Pluto itself

[zlatanvasovic]

@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.

[fonsp]

What do you mean?