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

do not copy it to history document

Browse Source
This commit is contained in:
Dmitry Avdeev
2011-02-22 13:35:28 +03:00
parent 8986280b06
commit 52d4ff995f
1 changed files with 8 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/lang-impl/src/com/intellij/execution/runners/ConsoleExecuteActionHandler.java
+8 -1
View File
@@ -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;
}
}