From 7fd122bc2371a2dde98d1a9d9cc4717e53f32e72 Mon Sep 17 00:00:00 2001 From: graann Date: Mon, 29 Apr 2019 15:53:35 +0300 Subject: [PATCH] Implement new Editor Tabs UI: new colors GitOrigin-RevId: 9000cd65b7a8e8e0495c2a9f7311e29afcbd7a70 --- platform/platform-api/src/com/intellij/ui/tabs/TabTheme.kt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/platform/platform-api/src/com/intellij/ui/tabs/TabTheme.kt b/platform/platform-api/src/com/intellij/ui/tabs/TabTheme.kt index a8b7bf0664be..3221757cc1c5 100644 --- a/platform/platform-api/src/com/intellij/ui/tabs/TabTheme.kt +++ b/platform/platform-api/src/com/intellij/ui/tabs/TabTheme.kt @@ -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 {