From 6ccbd57194f5d547a32807587e4a87449220aea7 Mon Sep 17 00:00:00 2001 From: "Gregory.Shrago" Date: Wed, 15 Feb 2012 20:40:59 +0300 Subject: [PATCH] better effect/color combination --- .../intellij/execution/filters/ExceptionExFilterFactory.java | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/java/execution/openapi/src/com/intellij/execution/filters/ExceptionExFilterFactory.java b/java/execution/openapi/src/com/intellij/execution/filters/ExceptionExFilterFactory.java index 88139afe395b..dc16ba61fd1f 100644 --- a/java/execution/openapi/src/com/intellij/execution/filters/ExceptionExFilterFactory.java +++ b/java/execution/openapi/src/com/intellij/execution/filters/ExceptionExFilterFactory.java @@ -26,6 +26,7 @@ import com.intellij.psi.*; import com.intellij.psi.search.GlobalSearchScope; import com.intellij.psi.util.PsiTreeUtil; import com.intellij.util.Consumer; +import com.intellij.util.ui.UIUtil; import org.jetbrains.annotations.NotNull; import org.jetbrains.annotations.Nullable; @@ -88,10 +89,11 @@ public class ExceptionExFilterFactory implements ExceptionFilterFactory { Trinity info = worker.getInfo(); int off = startOffset + lineStartOffset; final TextAttributes attributes = result.highlightAttributes; + attributes.setEffectColor(UIUtil.getInactiveTextColor()); consumer.consume(new AdditionalHighlight(off + info.first.getStartOffset(), off + info.second.getEndOffset()) { @Override public TextAttributes getTextAttributes(@Nullable TextAttributes source) { - return new TextAttributes(null, null, attributes.getEffectColor(), EffectType.LINE_UNDERSCORE, Font.PLAIN); + return new TextAttributes(null, null, attributes.getEffectColor(), EffectType.BOLD_DOTTED_LINE, Font.PLAIN); } }); }