From 1b83614b6fcbc682bfdbcf84239b7b2934a272c1 Mon Sep 17 00:00:00 2001 From: Fons van der Plas Date: Thu, 14 Dec 2023 11:05:48 +0100 Subject: [PATCH] tweak F1 help --- frontend/components/Editor.js | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/frontend/components/Editor.js b/frontend/components/Editor.js index 5c7ae43cfe..ba3e202780 100644 --- a/frontend/components/Editor.js +++ b/frontend/components/Editor.js @@ -1227,12 +1227,13 @@ patch: ${JSON.stringify( ${ctrl_or_cmd_name}+Enter: run cell and add cell below Delete or Backspace: delete empty cell - PageUp or fn+Up: select cell above - PageDown or fn+Down: select cell below + PageUp or fn+Up: jump to cell above + PageDown or fn+Down: jump to cell below ${ctrl_or_cmd_name}+Q: interrupt notebook ${ctrl_or_cmd_name}+S: submit all changes + Select multiple cells by dragging a selection box from the space between cells. ${ctrl_or_cmd_name}+C: copy selected cells ${ctrl_or_cmd_name}+X: cut selected cells ${ctrl_or_cmd_name}+V: paste selected cells