protected override void SetInt(int hvo, int flid, int newValue) { int oldValue = Decorator.get_IntProp(hvo, flid); if (oldValue != newValue) { base.SetInt(hvo, flid, newValue); MarkCurrentAnnotationAsChanged(); } }