public void handleHaltDocking(List <CommunicationDataStructureValue> responseData) { int id = 0; int dockingWithId = 0; string reason = "unknown-connection"; foreach (CommunicationDataStructureValue data in responseData) { if (data.getName() == "id") { id = int.Parse(data.getValue()); } else if (data.getName() == "reason") { reason = data.getValue(); } else if (data.getName() == "dockingWithId") { dockingWithId = int.Parse(data.getValue()); } } if (id != 0 && id == Communication.currentNode.id) { Display.printDebug("[Incoming] Halt docking reason " + reason); DockingProcedure procedure = Docking.getDroneDockingProcedure(dockingWithId); if (procedure != null) { procedure.haltDocking(reason, false); } Communication.currentNode.navHandle.activeDockingProcedure = null; } }
protected Widget(string name, Docking dock, IWidgetStyle style) { unchecked { ID = Interlocked.Increment(ref NextID); } if (name == null) { Name = String.Empty; } else { Name = name; } if (style != null) { Styles = new WidgetStyleProvider(style); } else { Styles = new WidgetStyleProvider(new EmptyWidgetStyle()); } Dock = dock; ScaleFactor = 1f; CanSelect = true; // we want to compare sizes fast and implizit m_MaxSize = SizeMax; m_Visible = true; Enabled = true; AutoContextMenu = true; }
public LegendPlacementOption(ReadOnlyDictionary <CalculationsMode, IChart> charts, Docking placement) : base(placement, charts) { Checked = chart2d.Legends[0].Docking == placement; this.placement = placement; IsOption = true; }
/// <summary> /// Name:设置标题 /// </summary> /// <param name="chart">图表对象</param> /// <param name="chartName">图表名称</param> public static void SetTitle(Chart chart, string chartName, Font font, Docking docking, Color foreColor) { chart.Titles.Add(chartName); chart.Titles[0].Font = font; chart.Titles[0].Docking = docking; chart.Titles[0].ForeColor = foreColor; }
public StatusTextPanel(string name, Docking dock, string text = null) : base(name, dock, new StatusPanelStyle(), text, null) { Format = FontFormat.DefaultSingleLine; Margin = Padding.Empty; InvalidateOnHeartBeat = true; }
public TextWidget(string name, Docking dock, IWidgetStyle style, string text, IGUIFont font) : base(name, dock, style) { this.m_Padding = new Padding(3); this.HAlign = Alignment.Near; this.VAlign = Alignment.Center; if (text == null) { m_Text = String.Empty; } else { m_Text = text; } if (font == null) { m_Font = SummerGUIWindow.CurrentContext.FontManager.DefaultFont; } else { m_Font = font; } m_IconFont = SummerGUIWindow.CurrentContext.FontManager.SmallIcons; Format = FontFormat.DefaultSingleLineCentered; CanFocus = false; }
// force redraw with same data void ILocalizableComponent.LocalizationChanged(Docking.DockItem item) { Object save = this.propertygrid1.CurrentObject; this.propertygrid1.CurrentObject = null; this.propertygrid1.CurrentObject = save; this.propertygrid1.QueueDraw(); }
public MainWindow() { InitializeComponent(); // initialize popup forms CrossThreadDialogs.InitializeDialogs(this); // add version to form title Text += $@" V{Version.String}"; // initialize settings _applicationSettings.ReadSettings(); _applicationSettings.FormSettings.LoadLocation(this); UserModeRemember.Checked = _applicationSettings.RememberUserMode; // initialize the VisiLEDComPort _visiLedThreadedComPort = new VisiLEDThreadedComPort("VisiLEDComPort", _closingWorker); _visiLedThreadedComPort.RegisterConnectionUpdate(MessageBroker.MessageContext.NewThreadToGui, UpdateConnectionButton); UpdateConnectionButton(new ThreadedComPortBase.ConnectionUpdateArgs()); // initialize docking _docking = new Docking(this, dockPanel, menuStrip1); _docking.AddForm(new CommonControls(_docking, _visiLedThreadedComPort)); _docking.AddForm(new CommDialog(_visiLedThreadedComPort)); _docking.AddForm(new ChannelControls("Channel A", Channel.A, _visiLedThreadedComPort)); _docking.AddForm(new ChannelControls("Channel B", Channel.B, _visiLedThreadedComPort)); _docking.LoadLayout(); // initialize forms from settings SetUserMode(_applicationSettings.RememberUserMode ? _applicationSettings.UserMode : UserModes.Simple); ChangeFontAll(_applicationSettings.FontSize); // Handlers FormClosing += MainWindow_FormClosing; }
public Title Add(string text, Docking docking, Font font, Color color) { Title title = new Title(text, docking, font, color); base.List.Add(title); return(title); }
public ComplexSplitContainer(string name, Docking dock, IWidgetStyle style) : base(name, dock, style) { /*** * PanelLeft = new ScrollableContainer ("panelleft", Docking.Fill, new SplitContainerPanelStyle ()); * PanelCenter = new ScrollableContainer ("panelcenter", Docking.Fill, new SplitContainerPanelStyle ()); * PanelBottom = new ScrollableContainer ("panelbottom", Docking.Fill, new SplitContainerPanelStyle ()); * PanelRight = new ScrollableContainer ("panelright", Docking.Fill, new SplitContainerPanelStyle ()); ***/ PanelLeft = new ScrollableContainer("panelleft", Docking.Fill, new SplitContainerPanelStyle()); PanelCenter = new ScrollableContainer("panelcenter", Docking.Fill, new EmptyWidgetStyle()); PanelBottom = new ScrollableContainer("panelbottom", Docking.Fill, new EmptyWidgetStyle()); PanelRight = new ScrollableContainer("panelright", Docking.Fill, new EmptyWidgetStyle()); SplitterLeft = new VerticalSplitter("leftsplitter", new SplitContainerTransparentSplitterStyle()); SplitterBottom = new HorizontalSplitter("bottomsplitter", new SplitContainerTransparentSplitterStyle()); SplitterRight = new VerticalSplitter("rightsplitter", new SplitContainerTransparentSplitterStyle()); PanelCenter.Dock = Docking.Fill; Children.Add(SplitterLeft); Children.Add(SplitterBottom); Children.Add(SplitterRight); Children.Add(PanelLeft); Children.Add(PanelCenter); Children.Add(PanelBottom); Children.Add(PanelRight); SplitterLeft.Distance = 0.25f; SplitterBottom.Distance = -0.25f; SplitterRight.Distance = -0.25f; }
public CommonControls(Docking docking, VisiLEDThreadedComPort visiLedThreadedComPort) { InitializeComponent(); saveLoad.ToggleDisabledColor = Globals.OffColor; saveLoad.ToggleDisabledText = "Save"; saveLoad.ToggleEnabledColor = Globals.OnColor; saveLoad.ToggleEnabledText = "Save"; saveLoad.ToggleSet(false); DisplayControls(false); _visiLedThreadedComPort = visiLedThreadedComPort; _docking = docking; _visiLedThreadedComPort.RegisterConnectionUpdate(MessageBroker.MessageContext.NewThreadToGui, args => DisplayControls(args.IsConnected)); _visiLedThreadedComPort.RegisterMasterStatusUpdate(MessageBroker.MessageContext.NewThreadToGui, UpdateForm); HideOnClose = true; ShowHint = DockState.Document; CloseButton = false; CloseButtonVisible = false; var saveTip = new ToolTip(); saveTip.SetToolTip(saveLoad, _helpMessage); saveTip.OwnerDraw = true; saveTip.Draw += saveTip_Draw; saveTip.Popup += saveTip_Popup; Load += LoadEvent; }
/// <summary> /// 设置图例 /// </summary> /// <param name="chart">图表对象</param> /// <param name="docking">停靠位置</param> /// <param name="align">字符串对齐方式</param> /// <param name="backColor">背景颜色</param> /// <param name="foreColor">字体颜色</param> public static void SetLegend(Chart chart, Docking docking, StringAlignment align, Color backColor, Color foreColor) { chart.Legends[0].Docking = docking; chart.Legends[0].Alignment = align; chart.Legends[0].BackColor = backColor; chart.Legends[0].ForeColor = foreColor; }
public Panel(string name, Docking dock, IWidgetStyle style) : base(name, dock, style) { // ToDo: GUG BUG BUG //CanFocus = false; TabIndex = -1; }
public Title Add(string text, Docking docking) { Title title = new Title(text, docking); base.List.Add(title); return(title); }
public IdeWindow() { InitializeComponent(); PluginManager.Core = this; InitializeDocking(); PluginManager.Register(null, _projectTree, "Project Tree"); Text = string.Format("{0} {1} {2}", Versioning.Name, Versioning.Version, Environment.Is64BitProcess ? "x64" : "x86"); toolNew.DropDown = menuNew.DropDown; BuildEngine.Initialize(); Core.Settings.Apply(); Docking.Show(_projectTree); Docking.Activate(_projectTree); Refresh(); if (Core.Settings.AutoOpenLastProject) { menuOpenLastProject_Click(null, EventArgs.Empty); } StyleManager.AutoStyle(this); }
public OverlayContainer(string name, Docking dock, IWidgetStyle style) : base(name, dock, style) { ZIndex = 10000; AutoScroll = true; CanFocus = true; }
public ImageButton(string name, Docking dock, string text, ImageList imageList, string imageKey, IWidgetStyle style) : base(name, dock, style) { Image = new ImagePanel("image", Docking.Left, imageList, imageKey); Image.Style.BorderColorPen.Width = 1; Image.SizeMode = ImageSizeModes.AutoSize; Image.VAlign = Alignment.Center; Image.HAlign = Alignment.Center; Children.Add(Image); Text = new TextWidget("text", Docking.Fill, new WidgetStyle(Color.Empty, style.ForeColorPen.Color, Color.Empty), text, SummerGUIWindow.CurrentContext.FontManager.StatusFont); Text.HAlign = Alignment.Center; Text.VAlign = Alignment.Center; //Text.Margin = new Padding (3, 2, 3, 4); //Text.Margin = new Padding (3); Children.Add(Text); Padding = new Padding(3); //Margin = new Padding (3); }
protected ScrollBar(string name, Docking dock) : base(name, dock, new ScrollBarStyle()) { // without this, the pressed state can't be activated this.Styles.SetStyle(new ScrollBarStyle(), WidgetStates.Pressed); ZIndex = 1000; }
protected SliderBase(string name, Docking dock, IWidgetStyle style) : base(name, dock, style) { MinValue = 0; MaxValue = 1; Value = 0; }
public ActionResult Reset(int DockingID, int LocationID) { int UserID = GetLoggedInUID(); Location loc = _repo.GetLocation(LocationID); Docking dock = _repo.GetDockingByID(DockingID); bool rslt = false; if (dock.IsActive == true && loc.IsOcuppied == true) { loc.IsOcuppied = false; loc.LastUpdate = DateTime.Now.ConvertToEST(); dock.IsActive = false; dock.LastUpdate = DateTime.Now.ConvertToEST(); dock.LastUpdateBy = UserID; rslt = _repo.UpdateLocationDock(loc, dock); } return(Json(Url.Action("GetTimerList", "Admin"))); }
public LegendPlacementOption(IChart2D chart2d, Docking placement) : base(placement) { Checked = chart2d.LegendDocking == placement; _chart2D = chart2d; this.placement = placement; IsOption = true; }
ButtonWidget Make( int x, int y, string text, Docking vDocking, Action<Game, ButtonWidget> onClick, Func<Game, string> getter, Action<Game, string> setter) { ButtonWidget widget = ButtonWidget.Create( game, x, y, 240, 35, text, Docking.Centre, vDocking, titleFont, onClick ); widget.GetValue = getter; widget.SetValue = setter; return widget; }
public async Task <IActionResult> Post([FromBody] Docking docking) { await _context.Dockings.AddAsync(docking); await _context.SaveChangesAsync(); return(new CreatedAtActionResult("Get", "Docking", new { id = docking.Id }, docking)); }
public ScrollButton(string name, Alignment align, Docking dock) : base(name, dock, new ScrollChildStyle()) { Align = align; Styles.SetStyle(new ScrollButtonStyleDisabled(), WidgetStates.Disabled); Styles.SetStyle(new ScrollButtonStyleHover(), WidgetStates.Hover); Styles.SetStyle(new ScrollButtonStylePressed(), WidgetStates.Pressed); Padding = new Padding(7); }
public ImagePanel(string name, Docking dock, TextureImage image, WidgetStyle style) : base(name, dock, style) { SizeMode = ImageSizeModes.ShrinkToFit; VAlign = Alignment.Center; HAlign = Alignment.Center; Image = image; ShouldDisposeImage = false; }
public ImagePanel(string name, Docking dock, string filePath, WidgetStyle style) : base(name, dock, style) { SizeMode = ImageSizeModes.ShrinkToFit; VAlign = Alignment.Center; HAlign = Alignment.Center; FilePath = filePath; ShouldDisposeImage = true; }
public Title(string text, Docking docking, Font font, Color color) { this.Text = text; this.Docking = docking; this.Font = font; this.ForeColor = color; }
public ImagePanel(string name, Docking dock, ImageList imageList, string imageKey, WidgetStyle style) : base(name, dock, style) { SizeMode = ImageSizeModes.ShrinkToFit; VAlign = Alignment.Center; HAlign = Alignment.Center; m_ImageList = imageList; ImageKey = imageKey; ShouldDisposeImage = false; }
public Title (string text, Docking docking, Font font, Color color) { this.Text = text; this.Docking = docking; this.Font = font; this.ForeColor = color; }
private void Initialize(string text, Docking docking, Font font, Color color) { this.text = text; this.docking = docking; this.color = color; if (font != null) { this.font = font; } }
public void handleDockingRequest(string data) { if (Communication.currentNode.type != "mothership") { return; // Motherships handle docking requests } string[] dataSplitted = data.Split('_'); if (dataSplitted.Count() == 2) { int id = int.Parse(dataSplitted[0]); if (Communication.currentNode.id != id) { return; // If not my id } int slaveId = int.Parse(dataSplitted[1]); int nodeIndex = this.getNodeIndexById(slaveId); if (nodeIndex == -1) { Communication.connectedNodes.Add(slaveId); Drone node = new Drone(slaveId); node.initNavigation(this.myGrid); Communication.connectedNodesData.Add(node); nodeIndex = this.getNodeIndexById(slaveId); } AnchoredConnector available = AnchoredConnector.getAvailableAnchoredConnector(); if (available == null) { Display.print("Docking request denied (Connectors full)."); } else { if (Docking.dockingWithDrone(slaveId)) { Display.print("Already accepted, continue on docking."); this.sendDockingAccepted(slaveId); this.sendConnectorData(slaveId); } else { Display.print("Assigning a proper connector."); DockingProcedure dock = new DockingProcedure(slaveId); dock.setNavHandle(Communication.currentNode.navHandle); dock.myConnector = available; dock.initDocking(); Docking.activeDockingProcedures.Add(dock); this.sendDockingAccepted(slaveId); this.sendConnectorData(slaveId); } } } else { Display.print("[ERROR] Docking request invalid. (" + data + ")"); } }
public static TextWidget Create( Game game, int x, int y, string text, Docking horizontal, Docking vertical, Font font ) { TextWidget widget = new TextWidget( game, font ); widget.Init(); widget.HorizontalDocking = horizontal; widget.VerticalDocking = vertical; widget.XOffset = x; widget.YOffset = y; widget.SetText( text ); return widget; }
public ConsoleOutputWidget(string name, Docking dock, IWidgetStyle style) : base(name, dock, style) { //Font = ApplicationWindow.CurrentContext.FontManager.MonoFont; Padding = new Padding(16); IsAnimationRunning = false; Logger = new EventLogger(LogLevels.Verbose); Logger.LogEvent += (sender, e) => AddParagraph(e.Message.Replace("\t", " ")); Logging.RegisterLogger(Logger); }
public CircleButton(string name, Docking dock, string text, ImageList imageList, string imageKey, WidgetStyle style) : base(name, dock, text, imageList, imageKey, style) { if ((style as CircleWidgetStyle) == null) { this.LogWarning("Style should be of type CircleWidgetStyle");; } Image.VAlign = Alignment.Near; Padding = Padding.Empty; }
public static ButtonWidget Create( Game game, int x, int y, int width, int height, string text, Docking horizontal, Docking vertical, Font font, Action<Game, ButtonWidget> onClick) { ButtonWidget widget = new ButtonWidget( game, font ); widget.Init(); widget.HorizontalDocking = horizontal; widget.VerticalDocking = vertical; widget.XOffset = x; widget.YOffset = y; widget.DesiredMaxWidth = width; widget.DesiredMaxHeight = height; widget.SetText( text ); widget.OnClick = onClick; return widget; }
public static MenuInputWidget Create( Game game, int x, int y, int width, int height, string text, Docking horizontal, Docking vertical, Font font, Font tildeFont, Font hintFont, MenuInputValidator validator) { MenuInputWidget widget = new MenuInputWidget( game, font, tildeFont, hintFont ); widget.HorizontalDocking = horizontal; widget.VerticalDocking = vertical; widget.XOffset = x; widget.YOffset = y; widget.DesiredMaxWidth = width; widget.DesiredMaxHeight = height; widget.chatInputText.Append( 0, text ); widget.Validator = validator; widget.Init(); return widget; }
void ILocalizableComponent.LocalizationChanged(Docking.DockItem item) { UpdateList(); UpdateChangeCount(); }
private Legend GetLegend(string title, Docking dock) { Legend legend = new Legend(); legend.Title = title; legend.Docking = dock; legend.Alignment = StringAlignment.Center; return legend; }
public Title (string text, Docking docking) { this.Text = text; this.Docking = docking; }
ButtonWidget Make( int x, int y, string text, Docking vDocking, Action<Game, ButtonWidget> onClick ) { return ButtonWidget.Create( game, x, y, 240, 35, text, Docking.Centre, vDocking, titleFont, onClick ); }
/// <summary> /// Add Legend /// </summary> /// <param name="alignment"></param> /// <param name="docking"></param> /// <param name="_chart"></param> public static void AddLegend(System.Drawing.StringAlignment alignment, Docking docking, ref Chart _chart) { var legend = new Legend() { Name = "Legend", Alignment = alignment, Docking = docking, Font = new System.Drawing.Font("Arial", 10), BackColor = System.Drawing.Color.Transparent }; _chart.Legends.Add(legend); }
void ILocalizableComponent.LocalizationChanged(Docking.DockItem item) { }