private void panelFocused(object sender, PanelActionEventArgs e) { if (focusedPanel == e.Panel) { e.Handled = true; } else { if (focusedPanel != null) { focusedPanel.PanelFocused = false; } focusedPanel = e.Panel; focusedPanel.PanelFocused = true; if (e.Panel.Content is IToolPanel) { RaiseEvent(new RoutedSelectionChangedEventArgs((e.Panel.Content as IToolPanel).SelectedItems, SelectionChangedEvent)); } } }
public DockableGroup(EditorPanel panel) { Panels = new IDockablePanel[] { panel.Content as IDockablePanel }; SuggestedSize = new Size(panel.ActualWidth, panel.ActualHeight); }
public EditorTab(IDockablePanel control) { Style = FindResource("Workspace.TabItem") as Style; Content = new EditorPanel(control); Header = control.Title?.Short ?? ""; }
public EditorTab(EditorPanel panel) { Style = FindResource("Workspace.TabItem") as Style; Content = panel; Header = panel.Title; }
public PanelActionEventArgs(EditorPanel control, TabControl tabControl, RoutedEvent routedEvent) : base(routedEvent) { Panel = control; TabControl = tabControl; }