Also needs to be included in the UIPrefs.onUIPrefsChanged update handler (following the example of the other prefs there)