internal TabStrip() { var xbox = new HBox(); Add(xbox); vBox = new TabStripVBox() { TabStrip = this }; hBox = new TabStripHBox() { TabStrip = this }; box = hBox; xbox.PackStart(hBox as Widget, false, false, 0); xbox.PackStart(vBox as Widget, false, false, 0); ShowAll(); vBox.Hide(); bottomFiller.Hide(); BottomPadding = 3; WidthRequest = 0; box.TabRemoved += HandleRemoved; }
public void Flip() { var a = isVertical ? vBox : hBox; var b = isVertical ? hBox : vBox; a.TabRemoved -= HandleRemoved; while (a.Children.Count() > 0) { var child = a.Children.First(); a.Remove(child); b.Add(child); if (child is DockItemTitleTab) { (child as DockItemTitleTab).UpdateBehavior(); } } box.Hide(); box = b; box.TabRemoved += HandleRemoved; box.Show(); box.QueueDraw(); QueueResize(); var dc = Parent as DockContainer; if (dc != null) { dc.RecalcLayout(); } }