From 879a6922b0c59108de91f191926d0dde62cd2bd6 Mon Sep 17 00:00:00 2001
From: Ben Harris <bjh21@bjh21.me.uk>
Date: Wed, 12 Oct 2022 21:30:19 +0100
Subject: [PATCH] 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.
---
 emcc.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/emcc.c b/emcc.c
index 04ab178..5f21476 100644
--- a/emcc.c
+++ b/emcc.c
@@ -882,6 +882,8 @@ void load_game(const char *buffer, int len)
         select_appropriate_preset();
         resize();
         midend_redraw(me);
+        update_permalinks();
+        update_undo_redo();
     }
 }