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.