MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

better effect/color combination

Browse Source
This commit is contained in:
Gregory.Shrago
2012-02-15 20:46:39 +03:00
parent c0b293ba39
commit 6ccbd57194
1 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
java/execution/openapi/src/com/intellij/execution/filters/ExceptionExFilterFactory.java
+3 -1
View File
@@ -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<TextRange,TextRange,TextRange> 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);
}
});
}