diff options
-rw-r--r-- | README.md | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/README.md b/README.md index 69d89bc..dee055b 100644 --- a/README.md +++ b/README.md @@ -27,7 +27,8 @@ Here's an example app (the [Tower of Hanoi](https://en.wikipedia.org/wiki/Tower_ <img alt='screenshot of Teliva running the Towers of Hanoi' src='doc/hanoi.png'> No matter what app you run, you are always guaranteed access to a single -consistent way (currently the hotkey `ctrl-e`) to edit its sources. +obvious, consistent way (currently the hotkey `ctrl-e`) to edit its sources. +And to run the updates after editing. <img alt='screenshot of Teliva editing the Towers of Hanoi' src='doc/hanoi-edit.png'> |