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);
}
