From 5528f93f38672ab788c5ce78251926dce3a59a94 Mon Sep 17 00:00:00 2001 From: Alex Ross Date: Wed, 20 Sep 2023 14:47:40 +0200 Subject: [PATCH] Top padding is wrong on comment view zone (#193569) Fixes #193140 Co-authored-by: Martin Aeschlimann --- .../workbench/contrib/comments/browser/commentThreadWidget.ts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/vs/workbench/contrib/comments/browser/commentThreadWidget.ts b/src/vs/workbench/contrib/comments/browser/commentThreadWidget.ts index aff152a1a9c..0b4723b0c50 100644 --- a/src/vs/workbench/contrib/comments/browser/commentThreadWidget.ts +++ b/src/vs/workbench/contrib/comments/browser/commentThreadWidget.ts @@ -200,7 +200,7 @@ export class CommentThreadWidget extends } display(lineHeight: number) { - const headHeight = Math.ceil(lineHeight * 1.2); + const headHeight = Math.max(23, Math.ceil(lineHeight * 1.2)); // 23 is the value of `Math.ceil(lineHeight * 1.2)` with the default editor font size this._header.updateHeight(headHeight); this._body.display();