private void CleanUp() { statusBar?.UnlinkAndDispose(); statusBar = null; tabbedWidget?.UnlinkAndDispose(); tabbedWidget = null; rootWidget?.UnlinkAndDispose(); rootWidget = null; }
public Device(HostClient client) { Client = client; Name = Guid.NewGuid().ToString().Substring(0, 18); TabbedWidget = new RemoteScriptingWidgets.TabbedWidget( new RemoteScriptingWidgets.TabbedWidgetPage[] { ApplicationOutput = new ApplicationOutputPage() } ); }
private void InitializeWidgets() { statusBar = new RemoteScriptingStatusBar { MinMaxHeight = 25f }; rootWidget = new Widget { Layout = new VBoxLayout(), Nodes = { (tabbedWidget = new RemoteScriptingWidgets.TabbedWidget( new RemoteScriptingWidgets.TabbedWidgetPage[] { new RemoteScriptingAssemblyPage(statusBar), new RemoteScriptingDevicesPage(), } )), statusBar, } }; panel.ContentWidget.PushNode(rootWidget); }