diff options
author | n0s4 | 2022-06-18 19:14:36 +0000 |
---|---|---|
committer | Blaž Hrastnik | 2022-07-26 01:22:28 +0000 |
commit | 5accb5cd58125cb3da6272be09e09aa53b8b8347 (patch) | |
tree | b71fa3370088b688c1ebf8df33ee6720c138cc02 /runtime | |
parent | 68acdbb9a2e033ebb70cf04d5e98f509fb0ea4d9 (diff) |
Add vale to gitignore + spelling
Diffstat (limited to 'runtime')
-rw-r--r-- | runtime/tutor.txt | 24 |
1 files changed, 23 insertions, 1 deletions
diff --git a/runtime/tutor.txt b/runtime/tutor.txt index 199ca09e..2a754ef1 100644 --- a/runtime/tutor.txt +++ b/runtime/tutor.txt @@ -659,6 +659,28 @@ _________________________________________________________________ ================================================================= += 6.3 REVERSING SELECTION = +================================================================= + + Type A-; (Alt-;) to reverse the selection(s). + + TODO + + + + + + + + + + + + + + + +================================================================ = CHAPTER 6 RECAP = ================================================================= @@ -820,7 +842,7 @@ lines. 1. Move the cursor to the line below marked -->. 2. Move down to the second line and type > to indent it. - 3. Move to the third line and type < to unindent it. + 3. Move to the third line and type < to outdent it. --> These lines are indented |