js: Update permalinks and undo/redo buttons when loading

Without this, the "Undo" button ends up greyed even though it actually
works.  I'm not sure about whether updating the permalinks is necessary:
maybe we don't need that in new_game() either.
This commit is contained in:
Ben Harris
2022-10-12 21:30:19 +01:00
parent f11e93e3bd
commit 879a6922b0

2
emcc.c
View File

@ -882,6 +882,8 @@ void load_game(const char *buffer, int len)
select_appropriate_preset(); select_appropriate_preset();
resize(); resize();
midend_redraw(me); midend_redraw(me);
update_permalinks();
update_undo_redo();
} }
} }