void CancelCodeSegmentTooltip () { if (codeSegmentTooltipTimeoutId != 0) { GLib.Source.Remove (codeSegmentTooltipTimeoutId); codeSegmentTooltipTimeoutId = 0; } }