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

[ExpUI] IDEA-288413 Editor tabs: fix insets (Increase length of underline)

Browse Source 
GitOrigin-RevId: 63f5326b1ce747e8697265b32fd41f0531fc6224
This commit is contained in:
Konstantin Bulenkov
2022-03-27 18:23:47 +00:00
committed by intellij-monorepo-bot
parent 5498c12131
commit 5f4df7f503
1 changed files with 5 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-api/src/com/intellij/ui/tabs/impl/JBEditorTabsBorder.kt
+5 -1
View File
@@ -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))
}
}