diff options
| author | Jonas Kölker <jonaskoelker@yahoo.com> | 2015-09-21 17:41:10 +0200 |
|---|---|---|
| committer | Simon Tatham <anakin@pobox.com> | 2015-10-03 16:59:04 +0100 |
| commit | c469bd285cc4f482f49203c16169151d2d869d4a (patch) | |
| tree | 74a240ebc65ca2f286dd5313f1b72ab301e92151 /puzzles.but | |
| parent | d5f7c4f871200f9808e284408e28defaa8afbcd3 (diff) | |
| download | puzzles-c469bd285cc4f482f49203c16169151d2d869d4a.zip puzzles-c469bd285cc4f482f49203c16169151d2d869d4a.tar.gz puzzles-c469bd285cc4f482f49203c16169151d2d869d4a.tar.bz2 puzzles-c469bd285cc4f482f49203c16169151d2d869d4a.tar.xz | |
Filling: enable keyboard-driven cursor dragging mode.
Diffstat (limited to 'puzzles.but')
| -rw-r--r-- | puzzles.but | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/puzzles.but b/puzzles.but index e22c438..44ee326 100644 --- a/puzzles.but +++ b/puzzles.but @@ -2453,10 +2453,11 @@ press 0, Space, Backspace or Enter to clear it again (or use the Undo feature). You can also move around the grid with the cursor keys; typing a digit will -fill the square containing the cursor with that number, or typing 0, Space, -or Enter will clear it. You can also select multiple squares for numbering -or clearing by using the return key, before typing a digit to fill in the -highlighted squares (as above). +fill the square containing the cursor with that number; typing 0 will clear +it. You can also select multiple squares for numbering or clearing with the +return and arrow keys, before typing a digit to fill or clear the highlighted +squares (as above). The space bar adds and removes single squares to and from +the selection. Backspace and escape remove all squares from the selection. (All the actions described in \k{common-actions} are also available.) |