chiark / gitweb /
Call game_id_change_notify_function after deserialisation.
authorSimon Tatham <anakin@pobox.com>
Thu, 14 Sep 2017 18:06:44 +0000 (19:06 +0100)
committerSimon Tatham <anakin@pobox.com>
Thu, 14 Sep 2017 18:06:44 +0000 (19:06 +0100)
commit666c528326b881460f2b677e20a2a9bc4d86898f
tree05918e60c951b7aa256b194f28eca5d05ae4af06
parenta0a581c8b5422bf0c5ed3fde6aa25811e4eb89fc
Call game_id_change_notify_function after deserialisation.

That's a case in which the current game IDs have changed, so the
midend ought to be calling the front-end function (if any) that
notifies it when that happens.

The only front end of mine that was affected by this missing call was
the Javascript one, which uses that callback to update the 'Link to
this puzzle' links below the game canvas - but, of course, that front
end didn't ever call midend_deserialise until this month, so no wonder
I never noticed before.

(But downstream front ends might be affected too, for all I know.)
midend.c