public void ShowTabLevelKeyTips()
{
queuedKeyTipLevel = KeyTipLevel.Tab;
}
public void ShowTopLevelKeyTips()
{
queuedKeyTipLevel = KeyTipLevel.TopLevel;
if(appButton != null) appButton.ShowKeyTips ();
if(toolbar != null) toolbar.ShowKeyTips ();
int x, y;
GdkWindow.GetOrigin(out x, out y);
int tabLineY = (int)(y + Allocation.Y + headerHeight);
foreach(KeyTip kt in tabKeyTips)
{
kt.ShowAt (x + kt.Target.Allocation.X + (kt.Target.Allocation.Width >> 1), tabLineY, 0.5, 0.0);
}
}
public void HideKeyTips()
{
queuedKeyTipLevel = KeyTipLevel.None;
if(appButton != null) appButton.HideKeyTips ();
if(toolbar != null) toolbar.HideKeyTips ();
foreach(KeyTip kt in tabKeyTips)
{
kt.Hide ();
}
}
