From 24d07c714fbb5618e2b0dde61d382de9d4d54683 Mon Sep 17 00:00:00 2001
From: peter <peter.gromov@jetbrains.com>
Date: Thu, 4 Mar 2010 13:33:55 +0000
Subject: [PATCH] foldingPlaceholder in stacktrace filters

---
 .../src/com/intellij/execution/filters/Filter.java        | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/platform/lang-api/src/com/intellij/execution/filters/Filter.java b/platform/lang-api/src/com/intellij/execution/filters/Filter.java
index 264792ec8723..b725e73a08d2 100644
--- a/platform/lang-api/src/com/intellij/execution/filters/Filter.java
+++ b/platform/lang-api/src/com/intellij/execution/filters/Filter.java
@@ -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;
     }
   }