diff options
| author | Jonas Kölker <jonaskoelker@yahoo.com> | 2015-10-01 17:35:40 +0200 |
|---|---|---|
| committer | Simon Tatham <anakin@pobox.com> | 2015-10-03 18:16:01 +0100 |
| commit | 21b8323b2f1ca7b6bf01bc1e7a529636ea57daba (patch) | |
| tree | b9845db57d3af7c5394e9625c386d8b57b133a22 /puzzles.but | |
| parent | a800ff16bb10d41ed749d9b16e3eb3505bf9345e (diff) | |
| download | puzzles-21b8323b2f1ca7b6bf01bc1e7a529636ea57daba.zip puzzles-21b8323b2f1ca7b6bf01bc1e7a529636ea57daba.tar.gz puzzles-21b8323b2f1ca7b6bf01bc1e7a529636ea57daba.tar.bz2 puzzles-21b8323b2f1ca7b6bf01bc1e7a529636ea57daba.tar.xz | |
Dominosa: Highlight a number when pressed on the keyboard.
Diffstat (limited to 'puzzles.but')
| -rw-r--r-- | puzzles.but | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/puzzles.but b/puzzles.but index 8944387..d67f653 100644 --- a/puzzles.but +++ b/puzzles.but @@ -1459,6 +1459,10 @@ the return key will place a domino covering those numbers, or pressing the space bar will lay a line between the two squares. Repeating either action removes the domino or line. +Pressing a number key will highlight all occurrences of that +number. Pressing that number again will clear the highlighting. Up to two +different numbers can be highlighted at any given time. + (All the actions described in \k{common-actions} are also available.) \H{dominosa-parameters} \I{parameters, for Dominosa}Dominosa parameters |