public void SetGUIDiglogCtrl( GUISelectionsCtrl ctrl ) { this.ctrl = ctrl; }
public void SetGUIDiglogCtrl(GUISelectionsCtrl ctrl) { this.ctrl = ctrl; }