Example #1
0
 internal void RemoveItem(DockBarItem it)
 {
     box.Remove(it);
     it.Shown  -= OnItemVisibilityChanged;
     it.Hidden -= OnItemVisibilityChanged;
     UpdateVisibility();
 }
Example #2
0
        internal DockBarItem AddItem(DockItem item, int size)
        {
            DockBarItem it = new DockBarItem(this, item, size);

            box.PackStart(it, false, false, 0);
            it.ShowAll();
            UpdateVisibility();
            it.Shown  += OnItemVisibilityChanged;
            it.Hidden += OnItemVisibilityChanged;
            return(it);
        }
Example #3
0
 internal void UpdateTitle(DockItem item)
 {
     foreach (Widget w in box.Children)
     {
         DockBarItem it = w as DockBarItem;
         if (it != null && it.DockItem == item)
         {
             it.UpdateTab();
             break;
         }
     }
 }
Example #4
0
 void ResetBarUndockMode()
 {
     if (dockBarItem != null)
     {
         dockBarItem.Close();
         dockBarItem = null;
         if (widget != null)
         {
             widget.UpdateBehavior();
         }
     }
 }
Example #5
0
 internal void SetAutoHideMode(Gtk.PositionType pos, int size)
 {
     ResetMode();
     if (widget != null)
     {
         widget.Hide(); // Avoids size allocation warning
         widget.Unparent();
     }
     dockBarItem = frame.BarDock(pos, this, size);
     if (widget != null)
     {
         widget.UpdateBehavior();
     }
 }