mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
ability to set default tab color
This commit is contained in:
@@ -23,7 +23,9 @@ import java.awt.*;
|
||||
/**
|
||||
* @author Konstantin Bulenkov
|
||||
*/
|
||||
abstract class JBEditorTabsPainter {
|
||||
public abstract class JBEditorTabsPainter {
|
||||
protected Color myDefaultTabColor;
|
||||
|
||||
public abstract void doPaintInactive(Graphics2D g2d,
|
||||
Rectangle effectiveBounds,
|
||||
int x,
|
||||
@@ -94,4 +96,8 @@ abstract class JBEditorTabsPainter {
|
||||
public Color getEmptySpaceColor() {
|
||||
return UIUtil.isUnderAquaLookAndFeel() ? Gray.xC8 : UIUtil.getPanelBackground();
|
||||
}
|
||||
|
||||
public void setDefaultTabColor(Color color) {
|
||||
myDefaultTabColor = color;
|
||||
}
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user