ref: c0bd524848f98e5c4a495c4bc31dd55087a28aaa
parent: e2add4185cf1e3639b7a320384098d63dc2f3d67
author: Simon Tatham <anakin@pobox.com>
date: Sun Apr 23 10:00:40 EDT 2023
Fix failure to update me->ui when changing preferences. This must have been introduced during a last-minute rebase, or similar - I'm sure it worked a couple of days ago! Because midend_set_config passed a NULL game_ui to midend_set_prefs, the latter would make up a temporary UI and apply the changes to that. As a result, the midend's main UI would keep the original backend preferences, and those would also be the ones saved to the config file.
--- a/midend.c
+++ b/midend.c
@@ -1998,7 +1998,7 @@
break;
case CFG_PREFS:
- midend_set_prefs(me, NULL, cfg);
+ midend_set_prefs(me, me->ui, cfg);
break;
}