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

foldingPlaceholder in stacktrace filters

Browse Source
This commit is contained in:
peter
2010-03-04 13:33:55 +00:00
parent 6979b6a1fa
commit 24d07c714f
1 changed files with 7 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/lang-api/src/com/intellij/execution/filters/Filter.java
+7 -1
View File
@@ -28,16 +28,22 @@ public interface Filter {
public final int highlightEndOffset;
public final TextAttributes highlightAttributes;
public final HyperlinkInfo hyperlinkInfo;
@Nullable public final String foldingPlaceholder;
public Result(final int highlightStartOffset, final int highlightEndOffset, final HyperlinkInfo hyperlinkInfo) {
this(highlightStartOffset, highlightEndOffset, hyperlinkInfo, null);
}
public Result(final int highlightStartOffset, final int highlightEndOffset, final HyperlinkInfo hyperlinkInfo, final TextAttributes highlightAttributes) {
this(highlightStartOffset, highlightEndOffset, hyperlinkInfo, highlightAttributes, null);
}
public Result(final int highlightStartOffset, final int highlightEndOffset, final HyperlinkInfo hyperlinkInfo, final TextAttributes highlightAttributes, @Nullable String foldingPlaceholder) {
this.highlightStartOffset = highlightStartOffset;
this.highlightEndOffset = highlightEndOffset;
this.hyperlinkInfo = hyperlinkInfo;
this.highlightAttributes = highlightAttributes;
this.hyperlinkInfo = hyperlinkInfo;
this.foldingPlaceholder = foldingPlaceholder;
}
}