private void HoverTimerTick(object sender, EventArgs e)
{
if (!this.isPopupOpen && !this.IsWorking &&
this.hoverStartTime.Value.AddMilliseconds(PdbViewer.hoverPopupDelay) <
DateTime.Now)
{
this.hoverTimer.Stop();
this.hoverStartTime = null;
if (this.hoverObject.DisplayName != "")
{
this.isPopupOpen = true;
HoverPopup hoverPopup = new HoverPopup(this.hoverObject, this);
hoverPopup.Closed += this.ArtifactContextMenuClosed;
hoverPopup.IsOpen = true;
}
}
}
private void HoverTimerTick(object sender, EventArgs e)
{
if (!this.isPopupOpen && !this.IsWorking &&
this.hoverStartTime.Value.AddMilliseconds(PdbViewer.hoverPopupDelay) <
DateTime.Now)
{
this.hoverTimer.Stop();
this.hoverStartTime = null;
if (this.hoverObject.DisplayName != "")
{
this.isPopupOpen = true;
HoverPopup hoverPopup = new HoverPopup(this.hoverObject, this);
hoverPopup.Closed += this.ArtifactContextMenuClosed;
hoverPopup.IsOpen = true;
}
}
}
