From 72275a3fbe7787c43d78f43a50b137e50a86b6ed Mon Sep 17 00:00:00 2001 From: Alexander Lobas Date: Tue, 28 Nov 2023 14:46:03 +0100 Subject: [PATCH] IDEA-332821 Inline banner: Wrong insets near 'Close', 'Settings' buttons GitOrigin-RevId: f07f86c4551bb24feb41e2e41914780f9aa07b46 --- platform/platform-api/src/com/intellij/ui/InlineBanner.kt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/platform/platform-api/src/com/intellij/ui/InlineBanner.kt b/platform/platform-api/src/com/intellij/ui/InlineBanner.kt index ff04446cc1b3..2a16a9500c01 100644 --- a/platform/platform-api/src/com/intellij/ui/InlineBanner.kt +++ b/platform/platform-api/src/com/intellij/ui/InlineBanner.kt @@ -71,7 +71,7 @@ open class InlineBanner(background: Color, private var myBorderColor: Color, ico override fun layoutContainer(target: Container) { super.layoutContainer(target) - val y = JBUI.scale(9) + val y = JBUI.scale(7) var x = target.width - JBUI.scale(7) if (myCloseButton.isVisible) { @@ -157,7 +157,7 @@ open class InlineBanner(background: Color, private var myBorderColor: Color, ico paintHover(g, if (myClick) JBUI.CurrentTheme.InlineBanner.PRESSED_BACKGROUND else JBUI.CurrentTheme.InlineBanner.HOVER_BACKGROUND) } } - button.preferredSize = JBDimension(22, 22) + button.preferredSize = JBDimension(26, 26) return button }