mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
IDEA-101989 Darcula: red color in editor tab is too bright
This commit is contained in:
+1
-1
@@ -461,7 +461,7 @@ public class EditorsSplitters extends JBPanel {
|
||||
final int index = window.findEditorIndex(window.findFileComposite(file));
|
||||
LOG.assertTrue(index != -1);
|
||||
window.setForegroundAt(index, getManager().getFileColor(file));
|
||||
window.setWaveColor(index, getManager().isProblem(file) ? Color.red : null);
|
||||
window.setWaveColor(index, getManager().isProblem(file) ? JBColor.red : null);
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
Reference in New Issue
Block a user