diff --git a/src/vs/workbench/contrib/extensions/browser/media/extensionEditor.css b/src/vs/workbench/contrib/extensions/browser/media/extensionEditor.css index 49f5a41279388..03023ddf5feff 100644 --- 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;