ref: 89e9026ee49fd5469ad989e629effd2e4f6ade2a
parent: e0bb6d3b8546ea67e79cb190a96c26961ddacdf6
author: Simon Tatham <anakin@pobox.com>
date: Tue May 2 15:51:29 EDT 2023
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.
--- a/midend.c
+++ b/midend.c
@@ -2878,7 +2878,7 @@
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");