From: jacob <jacob@cda61777-01e9-0310-a592-d414129be87e>
Date: Fri, 29 Jul 2005 08:20:40 +0000 (+0000)
Subject: Tweak a paragraph after discussion with Simon.
X-Git-Url: https://git.distorted.org.uk/~mdw/sgt/puzzles/commitdiff_plain/19937f86816c7e683d6130d928a02d148add6e3f

Tweak a paragraph after discussion with Simon.


git-svn-id: svn://svn.tartarus.org/sgt/puzzles@6144 cda61777-01e9-0310-a592-d414129be87e
---

diff --git a/devel.but b/devel.but
index 815fc1c..e63a9c7 100644
--- a/devel.but
+++ b/devel.but
@@ -833,12 +833,12 @@ invalid when the game state changes; thus, Same Game's
 \cw{changed_state()} function clears the current selection whenever
 it is called.
 
-Any call to \cw{changed_state()} can be sure that there will be a
-subsequent call to \cw{anim_length()} and \cw{flash_length()}. So
-\cw{changed_state()} can set up data in the \c{game_ui} which will
-be read by \cw{anim_length()} and \cw{flash_length()}, and not have
-to worry about those functions being called without the data having
-been uninitialised.
+When \cw{anim_length()} or \cw{flash_length()} are called, you can
+be sure that there has been a previous call to \cw{changed_state()}.
+So \cw{changed_state()} can set up data in the \c{game_ui} which will
+be read by \cw{anim_length()} and \cw{flash_length()}, and those
+functions will not have to worry about being called without the data
+having been initialised.
 
 \H{backend-moves} Making moves