public HraListChangedEventArgs(HraListChangeType hraListChangeType, HraObject hraOperand) { this.hraListChangeType = hraListChangeType; this.hraOperand = hraOperand; }
public HraListChangedEventArgs(HraListChangeType hraListChangeType, HraObject hraOperand) { this.hraListChangeType = hraListChangeType; this.hraOperand = hraOperand; }