diff options
| -rw-r--r-- | devel.but | 12 |
1 files changed, 6 insertions, 6 deletions
@@ -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()} |