mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
PY-719 Highlighting artifacts on executed lines in console
This commit is contained in:
+7
@@ -236,6 +236,13 @@ public abstract class AbstractConsoleRunnerWithHistory {
|
||||
}
|
||||
|
||||
protected void runExecuteActionInner(final AnActionEvent actionEvent) {
|
||||
try {
|
||||
// Allow editor syntax highlighting daemon to finish
|
||||
Thread.sleep(300);
|
||||
}
|
||||
catch (InterruptedException e) {
|
||||
// ignore
|
||||
}
|
||||
// Process input and add to history
|
||||
final Document document = getLanguageConsole().getCurrentEditor().getDocument();
|
||||
final String text = document.getText();
|
||||
|
||||
Reference in New Issue
Block a user