From 706296388809984b20b32edf3fa8f576c85508c5 Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Sun, 10 Sep 2023 21:45:59 -0700 Subject: Revert "deemphasize the source editor" Now that we have decent error handling, I think we can encourage people to press ctrl+e again. This reverts commit 4b43e9e85d985bcedd105fa9693ae751e5b6d0b6. --- README.md | 1 + 1 file changed, 1 insertion(+) (limited to 'README.md') diff --git a/README.md b/README.md index 0833aa6..291aed9 100644 --- a/README.md +++ b/README.md @@ -34,6 +34,7 @@ While editing text: * `ctrl+=` to zoom in, `ctrl+-` to zoom out, `ctrl+0` to reset zoom * `alt+right`/`alt+left` to jump to the next/previous word, respectively * mouse drag or `shift` + movement to select text, `ctrl+a` to select all +* `ctrl+e` to modify the sources For shortcuts while editing drawings, consult the online help. Either: * hover on a drawing and hit `ctrl+h`, or -- cgit 1.4.1-2-gfad0