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

Implement new Editor Tabs UI: new colors

Browse Source 
GitOrigin-RevId: 9000cd65b7a8e8e0495c2a9f7311e29afcbd7a70
This commit is contained in:
graann
2019-04-29 16:53:12 +03:00
committed by intellij-monorepo-bot
parent bf42110767
commit 7fd122bc23
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-api/src/com/intellij/ui/tabs/TabTheme.kt
+1 -1
View File
@@ -11,7 +11,7 @@ class TabTheme(
val inactiveUnderlineColor: Color = JBUI.CurrentTheme.DefaultTabs.inactiveUnderlineColor(),
val hoverMaskColor: Color = JBUI.CurrentTheme.DefaultTabs.hoverMaskColor(),
val inactiveMaskColor: Color = JBUI.CurrentTheme.DefaultTabs.inactiveMaskColor(),
val uncoloredTabSelectedColor: Color? = JBUI.CurrentTheme.DefaultTabs.uncoloredTabSelectedColor(),
val uncoloredTabSelectedColor: Color? = null,
val underlineHeight: Int = JBUI.CurrentTheme.DefaultTabs.underlineHeight()
) {
companion object {