void HideConflictTooltip() { if (tooltipWindow != null) { tooltipWindow.Destroy(); tooltipWindow = null; } }
void HideTooltip() { if (tooltipTimeout != 0) { GLib.Source.Remove(tooltipTimeout); tooltipTimeout = 0; } if (tooltipWindow != null) { tooltipWindow.Destroy(); tooltipWindow = null; } }