/// <summary> /// Handle a change in the user preferences. /// </summary> /// <param name="sender">Source of event.</param> /// <param name="e">Event data.</param> protected override void OnUserPreferenceChanged(object sender, UserPreferenceChangedEventArgs e) { // Remove the current table, so it gets regenerated when next requested _table = null; // Update fonts to reflect any change in system settings DefineFonts(); base.OnUserPreferenceChanged(sender, e); }