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

Debugger: do not underline tab if there is only one tab in a group

Browse Source 
GitOrigin-RevId: 822ea30681b9e7b636ee4dde4ca4e5c928b6ed20
This commit is contained in:
graann
2019-08-02 20:04:09 +03:00
committed by intellij-monorepo-bot
parent d48e1bd013
commit a7bc072e78
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/tabs/impl/DefaultTabPainterAdapter.kt
+2 -2
View File
@@ -17,13 +17,13 @@ class DefaultTabPainterAdapter(val painter: JBTabPainter): TabPainterAdapter {
val rect = Rectangle(0, 0, label.width, label.height)
val g2d = g as Graphics2D
if (isSelected) {
if (isSelected && tabs.visibleInfos.size > 1) {
painter
.paintSelectedTab(tabs.position, g2d, rect, tabs.borderThickness, info.tabColor, tabs.isActiveTabs(info),
tabs.isHoveredTab(label))
}
else {
painter.paintTab(tabs.position, g2d, rect, tabs.borderThickness, info.tabColor, tabs.isHoveredTab(label))
painter.paintTab(tabs.position, g2d, rect, tabs.borderThickness, info.tabColor, tabs.isHoveredTab(label) && tabs.visibleInfos.size > 1)
}
}
}