Stop animations on a new game, no matter how it is started.

[sgt-puzzles.git] / puzzles.but

diff --git a/puzzles.but b/puzzles.but
index 8944387f018b8238383f86d4306e08e3b1f842d1..d67f6533795353edac589871d925f72e330bf3aa 100644 (file)
--- 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