| protected OnUserPreferenceChanged ( object sender, Microsoft.Win32.UserPreferenceChangedEventArgs e ) : void | ||
| sender | object | Source of the event. |
| e | Microsoft.Win32.UserPreferenceChangedEventArgs | Event details. |
| return | void | |
protected virtual void OnUserPreferenceChanged(object sender, UserPreferenceChangedEventArgs e)
{
// Need to recalculate anything relying on the palette
DirtyPaletteCounter++;
PerformNeedPaint(true);
}
