src/vs/workbench/contrib/terminal/browser/xterm/decorationStyles.ts/TerminalDecorationHoverManager/hideHover
class TerminalDecorationHoverManager:	public hideHover() {
		this._hoverDelayer.cancel();
		this._hoverService.hideHover();
	}