From 805eb01b71a325715e6d61cab34be875658eedd3 Mon Sep 17 00:00:00 2001 From: Konstantin Bulenkov Date: Tue, 17 Mar 2015 18:14:57 +0100 Subject: [PATCH] make tabs painters accessible --- .../src/com/intellij/ui/tabs/impl/JBEditorTabs.java | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/platform/platform-api/src/com/intellij/ui/tabs/impl/JBEditorTabs.java b/platform/platform-api/src/com/intellij/ui/tabs/impl/JBEditorTabs.java index d377f00cfeb4..24109b8de205 100644 --- a/platform/platform-api/src/com/intellij/ui/tabs/impl/JBEditorTabs.java +++ b/platform/platform-api/src/com/intellij/ui/tabs/impl/JBEditorTabs.java @@ -43,8 +43,8 @@ import java.util.List; */ public class JBEditorTabs extends JBTabsImpl { public static final String TABS_ALPHABETICAL_KEY = "tabs.alphabetical"; - private JBEditorTabsPainter myDarkPainter = new DarculaEditorTabsPainter(); - private JBEditorTabsPainter myDefaultPainter = new DefaultEditorTabsPainter(); + protected JBEditorTabsPainter myDarkPainter = new DarculaEditorTabsPainter(); + protected JBEditorTabsPainter myDefaultPainter = new DefaultEditorTabsPainter(); public JBEditorTabs(@Nullable Project project, @NotNull ActionManager actionManager, IdeFocusManager focusManager, @NotNull Disposable parent) { @@ -166,7 +166,7 @@ public class JBEditorTabs extends JBTabsImpl { return hasUnderline() ? super.getActiveTabUnderlineHeight() : 1; } - JBEditorTabsPainter getPainter() { + protected JBEditorTabsPainter getPainter() { return UIUtil.isUnderDarcula() ? myDarkPainter : myDefaultPainter; }