From 19937f86816c7e683d6130d928a02d148add6e3f Mon Sep 17 00:00:00 2001 From: jacob Date: Fri, 29 Jul 2005 08:20:40 +0000 Subject: [PATCH] Tweak a paragraph after discussion with Simon. git-svn-id: svn://svn.tartarus.org/sgt/puzzles@6144 cda61777-01e9-0310-a592-d414129be87e --- devel.but | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) 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 -- 2.11.0