zakarya/puzzles
1
0
Fork 0
mirror of git://git.tartarus.org/simon/puzzles.git synced 2025-04-21 08:01:30 -07:00
Code Issues Packages Projects Releases Wiki Activity

Edit the paragraph in the midend_deserialise() docs which I forgot to

Browse Source 
fix in r9777 when I added documentation of the function it wistfully
imagined might one day exist.

[originally from svn r9779]
[r9777 == 1fdafb6abf2d3ea0d37e79b5dfd9daf8eed28f22]
This commit is contained in:
Simon Tatham
2013-03-30 18:03:15 +00:00
parent e6026d9d8e
commit 6920d97c09
1 changed files with 6 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
devel.but
View File

@ -3234,12 +3234,12 @@ re-think the window size using \cw{midend_size()}, and probably
cause a refresh using \cw{midend_redraw()}. cause a refresh using \cw{midend_redraw()}.
Because each mid-end is tied to a specific game back end, this Because each mid-end is tied to a specific game back end, this
function will fail if you attempt to read in a save file generated function will fail if you attempt to read in a save file generated by
by a different game from the one configured in this mid-end, even if a different game from the one configured in this mid-end, even if your
your application is a monolithic one containing all the puzzles. (It application is a monolithic one containing all the puzzles. See
would be pretty easy to write a function which would look at a save \k{identify-game} for a helper function which will allow you to
file and determine which game it was for; any front end implementor identify a save file before you instantiate your mid-end in the first
who needs such a function can probably be accommodated.) place.
\H{identify-game} \cw{identify_game()} \H{identify-game} \cw{identify_game()}