From: Simon Tatham <anakin@pobox.com>
Date: Sat, 30 Mar 2013 18:03:15 +0000 (+0000)
Subject: Edit the paragraph in the midend_deserialise() docs which I forgot to
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ian/git?a=commitdiff_plain;h=6920d97c0977a77be869ecfa1ae933eaaf131e90;p=sgt-puzzles.git

Edit the paragraph in the midend_deserialise() docs which I forgot to
fix in r9777 when I added documentation of the function it wistfully
imagined might one day exist.

[originally from svn r9779]
[r9777 == 1fdafb6abf2d3ea0d37e79b5dfd9daf8eed28f22]
---

diff --git a/devel.but b/devel.but
index 02f9cfa..109ffe2 100644
--- a/devel.but
+++ b/devel.but
@@ -3234,12 +3234,12 @@ re-think the window size using \cw{midend_size()}, and probably
 cause a refresh using \cw{midend_redraw()}.
 
 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
-by a different game from the one configured in this mid-end, even if
-your application is a monolithic one containing all the puzzles. (It
-would be pretty easy to write a function which would look at a save
-file and determine which game it was for; any front end implementor
-who needs such a function can probably be accommodated.)
+function will fail if you attempt to read in a save file generated by
+a different game from the one configured in this mid-end, even if your
+application is a monolithic one containing all the puzzles. See
+\k{identify-game} for a helper function which will allow you to
+identify a save file before you instantiate your mid-end in the first
+place.
 
 \H{identify-game} \cw{identify_game()}