Extension detail content escapes container (#240134)

* fix: extension details escape container * Change height of extension editor
microsoft · Feb 11, 2025 · 1a75418 · 1a75418
1 parent b1bce46
commit 1a75418
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/vs/workbench/contrib/extensions/browser/media/extensionEditor.css b/src/vs/workbench/contrib/extensions/browser/media/extensionEditor.css
@@ -398,7 +398,7 @@
 }
 
 .extension-editor > .body > .content {
-	height: calc(100% - 36px);
+	height: calc(100% - 37px); /* Correct height so that it is not on top of bottom panel #231439 */
 	position: relative;
 	overflow: hidden;
 	user-select: text;