From 6920d97c0977a77be869ecfa1ae933eaaf131e90 Mon Sep 17 00:00:00 2001 From: Simon Tatham Date: Sat, 30 Mar 2013 18:03:15 +0000 Subject: [PATCH] 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] --- devel.but | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) 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()}