void HidePopover(bool delayed = false)
{
if (delayed)
{
// we delay hiding using a timer to avoid tooltip flickering in case of focus stealing
// due to weird toolkit behaviour.
if (hideTooltipTimer == null)
{
hideTooltipTimer = new Timer(50)
{
AutoReset = false,
SynchronizingObject = this,
};
hideTooltipTimer.Elapsed += (sender, e) => {
if (popover?.Visible == true)
{
popover.Hide();
}
};
}
hideTooltipTimer.Start();
}
else
{
if (hideTooltipTimer?.Enabled == true)
{
hideTooltipTimer.Stop();
}
if (popover?.Visible == true)
{
popover.Hide();
}
}
}
public void HideTooltip()
{
if (tooltipWindow != null)
{
tooltipWindow.Hide();
}
}
public void HideTooltip()
{
// we delay hiding using a timer to avoid tooltip flickering in case of focus stealing
// due to weird toolkit behaviour.
if (hideTooltipTimer == null)
{
hideTooltipTimer = new Timer(50)
{
AutoReset = false,
SynchronizingObject = this,
};
hideTooltipTimer.Elapsed += (sender, e) => {
if (tooltipWindow?.Visible == true)
{
tooltipWindow.Hide();
}
};
}
hideTooltipTimer.Start();
}
