public /* Interface KGuiControl */ void GuiDeviceUpdate() { if (!DeviceSKControl.Exists()) { return; } if (!this.InvokeRequired) { if (!DeviceSKControl.IsVisible()) //### or WinControls.IsMicrofluidicsVisible() ???? { WinGui.winGui.winControls.onOffDeviceView.Selected(!WinGui.winGui.winControls.onOffDeviceView.IsSelected()); return; } DeviceSKControl.SetSize(WinGui.winGui.panel_Microfluidics.Size); DeviceSKControl.InvalidateAndUpdate(); } else { this.Invoke((Action) delegate { GuiDeviceUpdate(); }); } }
/* SIZE CHANGED */ private void panel_Microfluidics_SizeChanged(object sender, EventArgs e) { DeviceSKControl.SetSize(this.panel_Microfluidics.Size); }
public void MicrofluidicsOn() { DeviceSKControl.SetSize(WinGui.winGui.panel_Microfluidics.Size); WinGui.winGui.panel_Microfluidics.BringToFront(); WinGui.winGui.panel_Microfluidics.Visible = true; }