void OnTabPress(object s, Gtk.ButtonPressEventArgs args)
{
CurrentTab = Array.IndexOf(box.Children, s);
Tab t = (Tab)s;
DockItem.SetFocus(t.Page);
QueueDraw();
}
public void Present(bool giveFocus)
{
AutoShow();
if (giveFocus)
{
GLib.Timeout.Add(200, delegate {
// Using a small delay because AutoShow uses an animation and setting focus may
// not work until the item is visible
it.SetFocus();
ScheduleAutoHide(false);
return(false);
});
}
}
internal void Present(DockItem it, bool giveFocus)
{
if (type == DockGroupType.Tabbed)
{
for (int n = 0; n < VisibleObjects.Count; n++)
{
DockGroupItem dit = VisibleObjects[n] as DockGroupItem;
if (dit.Item == it)
{
currentTabPage = n;
if (boundTabStrip != null)
{
boundTabStrip.CurrentPage = it.Widget;
}
break;
}
}
}
if (giveFocus && it.Visible)
{
it.SetFocus();
}
}
internal void Present(DockItem it, bool giveFocus)
{
if (type == DockGroupType.Tabbed) {
for (int n=0; n<VisibleObjects.Count; n++) {
DockGroupItem dit = VisibleObjects[n] as DockGroupItem;
if (dit.Item == it) {
currentTabPage = n;
if (boundTabStrip != null)
boundTabStrip.CurrentPage = it.Widget;
break;
}
}
}
if (giveFocus && it.Visible)
it.SetFocus ();
}