diff options
| author | Jonas Kölker <jonaskoelker@yahoo.com> | 2015-09-21 17:39:47 +0200 |
|---|---|---|
| committer | Simon Tatham <anakin@pobox.com> | 2015-10-03 16:58:50 +0100 |
| commit | d5f7c4f871200f9808e284408e28defaa8afbcd3 (patch) | |
| tree | 8576c3e1002bc8406c71977170c8f8a73305b4c7 /puzzles.but | |
| parent | 7478275c8b46c24eb457dd3458ace3a31263295b (diff) | |
| download | puzzles-d5f7c4f871200f9808e284408e28defaa8afbcd3.zip puzzles-d5f7c4f871200f9808e284408e28defaa8afbcd3.tar.gz puzzles-d5f7c4f871200f9808e284408e28defaa8afbcd3.tar.bz2 puzzles-d5f7c4f871200f9808e284408e28defaa8afbcd3.tar.xz | |
Range: add pencil marks to squares by Shift-cursor keys.
Diffstat (limited to 'puzzles.but')
| -rw-r--r-- | puzzles.but | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/puzzles.but b/puzzles.but index ef96ad1..e22c438 100644 --- a/puzzles.but +++ b/puzzles.but @@ -2917,7 +2917,9 @@ dotted or empty) in opposite directions. You can also use the cursor keys to move around the grid squares. Pressing Return does the same as clicking with the left button, while -pressing Space does the same as a right button click. +pressing Space does the same as a right button click. Moving with the +cursor keys while holding Shift will place dots in all squares that +are moved through. (All the actions described in \k{common-actions} are also available.) |