private void OnUserPreferenceChanged(object sender, UserPreferenceChangedEventArgs e) { NeedPaint(true); }