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

make initial text setting not undoable

Browse Source
This commit is contained in:
Gregory.Shrago
2012-05-23 21:27:25 +04:00
parent 8439c9dc97
commit a039e4dbbb
1 changed files with 18 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/lang-impl/src/com/intellij/execution/console/ConsoleHistoryController.java
+18 -6
View File
@@ -23,8 +23,8 @@ import com.intellij.openapi.actionSystem.AnActionEvent;
import com.intellij.openapi.actionSystem.EmptyAction;
import com.intellij.openapi.application.ApplicationManager;
import com.intellij.openapi.application.PathManager;
import com.intellij.openapi.application.Result;
import com.intellij.openapi.command.WriteCommandAction;
import com.intellij.openapi.command.undo.UndoConstants;
import com.intellij.openapi.diagnostic.Logger;
import com.intellij.openapi.editor.CaretModel;
import com.intellij.openapi.editor.Document;
@@ -225,16 +225,28 @@ public class ConsoleHistoryController {
return myBrowseHistory;
}
protected void setConsoleText(final String command, final boolean storeUserText, final boolean scrollToEnd) {
protected void setConsoleText(final String command, final boolean storeUserText, final boolean regularMode) {
final Editor editor = myConsole.getCurrentEditor();
final Document document = editor.getDocument();
new WriteCommandAction(myConsole.getProject(), myConsole.getFile()) {
protected void run(final Result result) throws Throwable {
new WriteCommandAction.Simple(myConsole.getProject()) {
@Override
public void run() {
if (storeUserText) {
myUserValue = document.getText();
}
document.setText(StringUtil.notNullize(command));
editor.getCaretModel().moveToOffset(scrollToEnd? document.getTextLength() : 0);
if (regularMode) {
document.setText(StringUtil.notNullize(command));
}
else {
try {
document.putUserData(UndoConstants.DONT_RECORD_UNDO, Boolean.TRUE);
document.setText(StringUtil.notNullize(command));
}
finally {
document.putUserData(UndoConstants.DONT_RECORD_UNDO, null);
}
}
editor.getCaretModel().moveToOffset(regularMode? document.getTextLength() : 0);
editor.getScrollingModel().scrollToCaret(ScrollType.RELATIVE);
}
}.execute();