diff options
| author | Simon Tatham <anakin@pobox.com> | 2011-04-03 09:16:08 +0000 |
|---|---|---|
| committer | Simon Tatham <anakin@pobox.com> | 2011-04-03 09:16:08 +0000 |
| commit | 4594df97a94a862e9724bf1f63ef7666f3c3b8c0 (patch) | |
| tree | 9a8a8c71f2b91ea8bbe7671517b74caa14da2028 | |
| parent | 9ece2832cef9622c8a2031379b37aa4ade0a624d (diff) | |
| download | puzzles-4594df97a94a862e9724bf1f63ef7666f3c3b8c0.zip puzzles-4594df97a94a862e9724bf1f63ef7666f3c3b8c0.tar.gz puzzles-4594df97a94a862e9724bf1f63ef7666f3c3b8c0.tar.bz2 puzzles-4594df97a94a862e9724bf1f63ef7666f3c3b8c0.tar.xz | |
Trivial markup fix.
[originally from svn r9144]
| -rw-r--r-- | devel.but | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -1234,8 +1234,8 @@ is currently in a solved state. The mid-end uses this to implement Front ends may wish to use this as a cue to proactively offer the option of starting a new game. Therefore, back ends should consider -returning TRUE in situations where the game is \e{lost} as well as -won, if losing makes it unlikely that the player would play on. +returning \cw{TRUE} in situations where the game is \e{lost} as well +as won, if losing makes it unlikely that the player would play on. (For instance, games with hidden information such as Guess or Mines might well set this flag whenever they reveal the solution, whether or |