public void SetTrimThreshPixels(int trimThreshPixels) { if (trimThreshPixels != TrimThreshPixels) stateChanged = true; TrimThreshPixels = trimThreshPixels; }