From 3a90d361e32546fc6856b70aafb28623b5950e96 Mon Sep 17 00:00:00 2001 From: Simon Graband Date: Wed, 12 Mar 2025 12:28:31 +0100 Subject: [PATCH] Set z-index of hovers to 1000 Value taken from #15154. Part of #15118. Signed-off-by: Simon Graband --- packages/core/src/browser/style/hover-service.css | 1 + 1 file changed, 1 insertion(+) diff --git a/packages/core/src/browser/style/hover-service.css b/packages/core/src/browser/style/hover-service.css index 623c4834d0e92..bcd24dd606284 100644 --- a/packages/core/src/browser/style/hover-service.css +++ b/packages/core/src/browser/style/hover-service.css @@ -29,6 +29,7 @@ border: 1px solid var(--theia-editorHoverWidget-border); padding: var(--theia-ui-padding); max-width: var(--theia-hover-max-width); + z-index: 1000; } .theia-hover .hover-row:not(:first-child):not(:empty) {