shithub: puzzles

Download patch

ref: 879a6922b0c59108de91f191926d0dde62cd2bd6
parent: f11e93e3bd05d133d2b0df7dd6c4a33f4ed7fefa
author: Ben Harris <bjh21@bjh21.me.uk>
date: Wed Oct 12 17:30:19 EDT 2022

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.

--- a/emcc.c

+++ b/emcc.c

@@ -882,6 +882,8 @@

         select_appropriate_preset();

         resize();

         midend_redraw(me);

+        update_permalinks();

+        update_undo_redo();

     }

 }