fix: enable scrolling in workbench hover widget when content overflows

Author: galpodlipnik1

src/vs/platform/hover/browser/hoverWidget.ts

@@ -59,6 +59,7 @@ export class HoverWidget extends Widget implements IHoverWidget {
 	private _enableFocusTraps: boolean = false;
 	private _addedFocusTrap: boolean = false;
 	private _maxHeightRatioRelativeToWindow: number = 0.5;
+	private _statusBarElement: HTMLElement | undefined;
 
 	private get _targetWindow(): Window {
 		return dom.getWindow(this._target.targetElements[0]);
@@ -222,6 +223,7 @@ export class HoverWidget extends Widget implements IHoverWidget {
 			});
 			statusBarElement.appendChild(actionsElement);
 			this._hover.containerDomNode.appendChild(statusBarElement);
+			this._statusBarElement = statusBarElement;
 		}
 
 		this._hoverContainer = $('div.workbench-hover-container');
@@ -342,6 +344,7 @@ export class HoverWidget extends Widget implements IHoverWidget {
 	public layout() {
 		this._hover.containerDomNode.classList.remove('right-aligned');
 		this._hover.contentsDomNode.style.maxHeight = '';
+		this._hover.scrollbar.getDomNode().style.maxHeight = '';
 
 		const getZoomAccountedBoundingClientRect = (e: HTMLElement) => {
 			const zoom = dom.getDomNodeZoomLevel(e);
@@ -585,6 +588,8 @@ export class HoverWidget extends Widget implements IHoverWidget {
 		}
 
 		this._hover.containerDomNode.style.maxHeight = `${maxHeight}px`;
+		const statusBarHeight = this._statusBarElement?.offsetHeight ?? 0;
+		this._hover.scrollbar.getDomNode().style.maxHeight = `${maxHeight - statusBarHeight}px`;
 		if (this._hover.contentsDomNode.clientHeight < this._hover.contentsDomNode.scrollHeight) {
 			// Add padding for a vertical scrollbar
 			const extraRightPadding = `${this._hover.scrollbar.options.verticalScrollbarSize}px`;