From 52d4ff995fa6d8471de3f51669c478aad86f4674 Mon Sep 17 00:00:00 2001
From: Dmitry Avdeev <Dmitry.Avdeev@jetbrains.com>
Date: Mon, 21 Feb 2011 18:44:55 +0300
Subject: [PATCH] do not copy it to history document

---
 .../execution/runners/ConsoleExecuteActionHandler.java   | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/platform/lang-impl/src/com/intellij/execution/runners/ConsoleExecuteActionHandler.java b/platform/lang-impl/src/com/intellij/execution/runners/ConsoleExecuteActionHandler.java
index bbc4c9271ede..3f6f84a9c98d 100644
--- a/platform/lang-impl/src/com/intellij/execution/runners/ConsoleExecuteActionHandler.java
+++ b/platform/lang-impl/src/com/intellij/execution/runners/ConsoleExecuteActionHandler.java
@@ -31,6 +31,7 @@ import java.io.OutputStream;
 public class ConsoleExecuteActionHandler {
   private final ProcessHandler myProcessHandler;
   private final boolean myPreserveMarkup;
+  private boolean myAddCurrentToHistory;
 
   public ConsoleExecuteActionHandler(ProcessHandler processHandler, boolean preserveMarkup) {
     myProcessHandler = processHandler;
@@ -47,7 +48,9 @@ public class ConsoleExecuteActionHandler {
     final TextRange range = new TextRange(0, document.getTextLength());
 
     languageConsole.getCurrentEditor().getSelectionModel().setSelection(range.getStartOffset(), range.getEndOffset());
-    languageConsole.addCurrentToHistory(range, false, myPreserveMarkup);
+    if (myAddCurrentToHistory) {
+      languageConsole.addCurrentToHistory(range, false, myPreserveMarkup);
+    }
     languageConsole.setInputText("");
     if (!StringUtil.isEmptyOrSpaces(text)) {
       consoleHistoryModel.addToHistory(text);
@@ -73,4 +76,8 @@ public class ConsoleExecuteActionHandler {
       // ignore
     }
   }
+
+  public void setAddCurrentToHistory(boolean addCurrentToHistory) {
+    myAddCurrentToHistory = addCurrentToHistory;
+  }
 }