diff options
| author | blt__ | 2023-10-26 23:40:49 +0000 |
|---|---|---|
| committer | GitHub | 2023-10-26 23:40:49 +0000 |
| commit | ab266b99e63813fd02e2b8d7619946a4f8db67d6 (patch) | |
| tree | dbe3be3ec713fb8910343443d4e3e65099026dbd | |
| parent | 99bf62a5607a096de863893ae5dcce3dc1b92678 (diff) | |
Say "unindent" instead of "outdent" in tutor (#8623)
| -rw-r--r-- | runtime/tutor | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/runtime/tutor b/runtime/tutor index f0de5a2d..a781b5fe 100644 --- a/runtime/tutor +++ b/runtime/tutor @@ -794,11 +794,11 @@ lines. = 7.3 INDENTING LINES = ================================================================= - Type > to indent a line and < to outdent it. + Type > to indent a line and < to unindent it. 1. Move the cursor to the line marked '-->' below. 2. Move down to the second line and type > to indent it. - 3. Move to the third line and type < to outdent it. + 3. Move to the third line and type < to unindent it. --> These lines are indented @@ -842,7 +842,7 @@ lines. * Type J to join lines in selection. - * Type < and > to indent / outdent lines. + * Type > and < to indent / unindent lines. * Press Ctrl-a to increment the selected number. * Press Ctrl-x to decrement the selected number. |