From 19596b01f79c1c7e3e9be85ed9100ac67e7e6ca8 Mon Sep 17 00:00:00 2001 From: Konstantin Bulenkov Date: Wed, 23 Jul 2014 19:18:30 +0200 Subject: [PATCH] better colors for Darcula --- .../com/intellij/openapi/editor/impl/EditorMarkupModelImpl.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/platform/platform-impl/src/com/intellij/openapi/editor/impl/EditorMarkupModelImpl.java b/platform/platform-impl/src/com/intellij/openapi/editor/impl/EditorMarkupModelImpl.java index e3714d93721a..28cd0a1a8af6 100644 --- a/platform/platform-impl/src/com/intellij/openapi/editor/impl/EditorMarkupModelImpl.java +++ b/platform/platform-impl/src/com/intellij/openapi/editor/impl/EditorMarkupModelImpl.java @@ -765,7 +765,7 @@ public class EditorMarkupModelImpl extends MarkupModelImpl implements EditorMark x = isMirrored() ? width + 2 : 0; } if (color == null) return; - Color darker = ColorUtil.shift(color, 0.75); + Color darker = UIUtil.isUnderDarcula()? color : ColorUtil.shift(color, 0.75); if (flatStyle) { g.setColor(darker);