From 89e9026ee49fd5469ad989e629effd2e4f6ade2a Mon Sep 17 00:00:00 2001
From: Simon Tatham <anakin@pobox.com>
Date: Tue, 2 May 2023 19:51:29 +0100
Subject: [PATCH] midend_apply_prefs: apply prefs to the right ui.

The function takes a game_ui pointer as an argument, and then ignores
it and unconditionally applies the midend's saved preferences to me->ui.
---
 midend.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/midend.c b/midend.c
index aeaec90..0543830 100644
--- a/midend.c
+++ b/midend.c
@@ -2878,7 +2878,7 @@ static void midend_apply_prefs(midend *me, game_ui *ui)
     rctx->len = me->be_prefs.len;
     rctx->pos = 0;
     const char *err = midend_deserialise_prefs(
-        me, me->ui, midend_serialise_buf_read, rctx);
+        me, ui, midend_serialise_buf_read, rctx);
     /* This should have come from our own serialise function, so
      * it should never be invalid. */
     assert(!err && "Bad internal serialisation of preferences");