From 5f4df7f503a35bfec9ed38e20e188f302e6048e7 Mon Sep 17 00:00:00 2001 From: Konstantin Bulenkov Date: Sun, 27 Mar 2022 20:14:09 +0200 Subject: [PATCH] [ExpUI] IDEA-288413 Editor tabs: fix insets (Increase length of underline) GitOrigin-RevId: 63f5326b1ce747e8697265b32fd41f0531fc6224 --- .../src/com/intellij/ui/tabs/impl/JBEditorTabsBorder.kt | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/platform/platform-api/src/com/intellij/ui/tabs/impl/JBEditorTabsBorder.kt b/platform/platform-api/src/com/intellij/ui/tabs/impl/JBEditorTabsBorder.kt index 109fa5e1dbb8..bab7eccc20a3 100644 --- a/platform/platform-api/src/com/intellij/ui/tabs/impl/JBEditorTabsBorder.kt +++ b/platform/platform-api/src/com/intellij/ui/tabs/impl/JBEditorTabsBorder.kt @@ -110,7 +110,11 @@ class JBEditorTabsBorder(tabs: JBTabsImpl) : JBTabsBorder(tabs) { tabs.tabPainter.paintUnderline(tabs.position, calcRectangle() ?: return, thickness, g, tabs.isActiveTabs(tabs.selectedInfo)) } else { val selectedLabel = tabs.selectedLabel ?: return - tabs.tabPainter.paintUnderline(tabs.position, selectedLabel.bounds, thickness, g, tabs.isActiveTabs(tabs.selectedInfo)) + val rect = Rectangle(selectedLabel.bounds) + if (ExperimentalUI.isNewUI()) { + rect.width += 2 + } + tabs.tabPainter.paintUnderline(tabs.position, rect, thickness, g, tabs.isActiveTabs(tabs.selectedInfo)) } }