public void RemovePane(Pane pane) { if(!paneButtons.ContainsKey(pane)) return; var tabButton = paneButtons[pane]; RemovePage(tabButton); }
public void OnLoad(Flood.Remoting.ServiceManager serviceManager) { var paneManager = serviceManager.GetGlobalService<IPaneManager>(); var textDocument = new TextDocument(); var textView = new TextView(null, textDocument); var pane = new Pane { Title = "CodeEdit", Control = textView }; paneManager.AddPane(pane); }
public async Task AddPane(Pane pane) { if (FocusedGroup.Count == 0) { var paneGroup = new PaneGroup(container, this); container.InsertPanel(paneGroup); Focus = paneGroup; } Focus.AddPane(pane); }
public void AddPane(Pane pane) { var tabButton = AddPage(pane.Title, pane.Control); paneButtons.Add(pane,tabButton); }