public TubeManagerStateChangedEventArgs(TubeManager.State state) { this.state = state; }
public TubeManagerStateChangedEventArgs(TubeManager.State state) { this.state = state; }
public TubeManagerStateChangedEventArgs(TubeManager.State state) { this.state = state; }
public TubeManagerStateChangedEventArgs(TubeManager.State state) { this.state = state; }