public void deep_clone(zoom_cancel_command rhs) { base.deep_clone(rhs); socket_num = rhs.socket_num; }
public zoom_cancel_command(zoom_cancel_command rhs) : base(rhs) { socket_num = rhs.socket_num; }