public void Expand()
{
if (!Expanded)
{
tipWindow = new TipWindow(this);
tipWindow.Closed += new EventHandler(tipWindow_Closed);
tipWindow.Show();
}
}
public void Expand()
{
if (!Expanded)
{
tipWindow = new TipWindow(this);
tipWindow.Closed += new EventHandler(tipWindow_Closed);
tipWindow.Expansion = this.Expansion;
tipWindow.Overlay = this.Overlay;
tipWindow.AutoCloseDelay = this.AutoCloseDelay;
tipWindow.MouseLeaveDelay = this.MouseLeaveDelay;
tipWindow.WantClicks = this.CopySupported;
tipWindow.Show();
}
}
private void tipWindow_Closed( object sender, EventArgs e )
{
tipWindow = null;
}
public void Expand()
{
if ( !Expanded )
{
tipWindow = new TipWindow( this );
tipWindow.Closed += new EventHandler( tipWindow_Closed );
tipWindow.Expansion = this.Expansion;
tipWindow.Overlay = this.Overlay;
tipWindow.AutoCloseDelay = this.AutoCloseDelay;
tipWindow.MouseLeaveDelay = this.MouseLeaveDelay;
tipWindow.WantClicks = this.CopySupported;
tipWindow.Show();
}
}
private void tipWindow_Closed( object sender, System.EventArgs e )
{
tipWindow = null;
hoverIndex = -1;
ClearTimer();
}
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();
}
}
}
private void tipWindow_Closed( object sender, EventArgs e )
{
tipWindow = null;
ClearTimer();
}
private void tipWindow_Closed(object sender, EventArgs e)
{
tipWindow = null;
}
protected void OnMouseHover( object sender, System.EventArgs e)
{
if ( tipWindow != null ) tipWindow.Close();
if ( hoverIndex >= 0 )
{
Graphics g = Graphics.FromHwnd( Handle );
Rectangle itemRect = GetItemRectangle( hoverIndex );
// itemRect.Offset( 17, 0 );
// itemRect.Width -= 17;
string text = Items[hoverIndex] as string;
SizeF sizeNeeded = g.MeasureString( text, Font );
bool expansionNeeded =
itemRect.Width < (int)sizeNeeded.Width ||
itemRect.Height < (int)sizeNeeded.Height;
if ( expansionNeeded )
{
tipWindow = new TipWindow( this, hoverIndex );
tipWindow.ItemBounds = itemRect;
tipWindow.TipText = text;
tipWindow.Expansion = TipWindow.ExpansionStyle.Horizontal;
tipWindow.Overlay = true;
tipWindow.WantClicks = true;
tipWindow.AutoCloseDelay = this.AutoCloseDelay;
tipWindow.MouseLeaveDelay = this.MouseLeaveDelay;
tipWindow.Closed += new EventHandler( tipWindow_Closed );
tipWindow.Show();
}
}
}
private void tipWindow_Closed(object sender, EventArgs e)
{
tipWindow = null;
ClearTimer();
}