MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

IDEA-332821 Inline banner: Wrong insets near 'Close', 'Settings' buttons

Browse Source 
GitOrigin-RevId: f07f86c4551bb24feb41e2e41914780f9aa07b46
This commit is contained in:
Alexander Lobas
2023-11-28 14:21:21 +00:00
committed by intellij-monorepo-bot
parent 819b1d9cd6
commit 72275a3fbe
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-api/src/com/intellij/ui/InlineBanner.kt
+2 -2
View File
@@ -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
}