private void OnMouseHover(object sender, System.EventArgs e)
{
if (tipWindow != null)
{
tipWindow.Close();
}
if (settings.GetSetting("Gui.ResultTabs.ErrorsTab.ToolTipsEnabled", false) && hoverIndex >= 0 && hoverIndex < detailList.Items.Count)
{
Graphics g = Graphics.FromHwnd(detailList.Handle);
Rectangle itemRect = detailList.GetItemRectangle(hoverIndex);
string text = detailList.Items[hoverIndex].ToString();
SizeF sizeNeeded = g.MeasureString(text, detailList.Font);
bool expansionNeeded =
itemRect.Width < (int)sizeNeeded.Width ||
itemRect.Height < (int)sizeNeeded.Height;
if (expansionNeeded)
{
tipWindow = new TipWindow(detailList, hoverIndex);
tipWindow.ItemBounds = itemRect;
tipWindow.TipText = text;
tipWindow.Expansion = TipWindow.ExpansionStyle.Both;
tipWindow.Overlay = true;
tipWindow.WantClicks = true;
tipWindow.Closed += new EventHandler(tipWindow_Closed);
tipWindow.Show();
}
}
}