src/vs/editor/contrib/hover/browser/marginHover.ts/MarginHoverWidget/hide
class MarginHoverWidget:	public hide(): void {
		this._computer.lineNumber = -1;
		this._hoverOperation.cancel();
		if (!this._isVisible) {
			return;
		}
		this._isVisible = false;
		this._hover.containerDomNode.classList.toggle('hidden', !this._isVisible);
	}