Add a midend function to return the current random seed, parallel to

the existing one that returns the game id. No front end has so far
needed this, but one is about to.

[originally from svn r9778]
This commit is contained in:
Simon Tatham
2013-03-30 16:59:19 +00:00
parent 1fdafb6abf
commit e6026d9d8e
3 changed files with 27 additions and 0 deletions

View File

@ -251,6 +251,7 @@ config_item *midend_get_config(midend *me, int which, char **wintitle);
char *midend_set_config(midend *me, int which, config_item *cfg);
char *midend_game_id(midend *me, char *id);
char *midend_get_game_id(midend *me);
char *midend_get_random_seed(midend *me);
int midend_can_format_as_text_now(midend *me);
char *midend_text_format(midend *me);
char *midend_solve(midend *me);