Introduce a mechanism by which calls to midend_supersede_game_desc()

can trigger a call to a front end notification function. Use this to
update the game ID permalink when Mines supersedes its game ID.

[originally from svn r9793]

1 files changed, 2 insertions, 0 deletions

diff --git a/puzzles.h b/puzzles.h
index fbd1828..3da1008 100644
--- a/puzzles.h
+++ b/puzzles.h
@@ -268,6 +268,8 @@ char *midend_deserialise(midend *me,
                          void *rctx);
 char *identify_game(char **name, int (*read)(void *ctx, void *buf, int len),
                     void *rctx);
+void midend_request_desc_changes(midend *me, void (*notify)(void *),
+                                 void *ctx);
 /* Printing functions supplied by the mid-end */
 char *midend_print_puzzle(midend *me, document *doc, int with_soln);
 int midend_tilesize(midend *me);