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

Removed broken scrolling code

Browse Source
This commit is contained in:
Oleg Shpynov
2010-03-11 16:13:32 +03:00
parent fe125f1602
commit 0945a3afd4
1 changed files with 1 additions and 15 deletions
Download Patch File Download Diff File Expand all files Collapse all files
python/src/com/jetbrains/python/console/PyConsoleProcessHandler.java
+1 -15
View File
@@ -6,6 +6,7 @@ import com.intellij.execution.process.ConsoleHighlighter;
import com.intellij.execution.process.OSProcessHandler;
import com.intellij.execution.ui.ConsoleViewContentType;
import com.intellij.openapi.application.ApplicationManager;
import com.intellij.openapi.application.ModalityState;
import com.intellij.openapi.editor.markup.TextAttributes;
import com.intellij.openapi.util.Key;
import com.intellij.openapi.util.Ref;
@@ -70,12 +71,6 @@ class PyConsoleProcessHandler extends OSProcessHandler {
}
}
final Ref<Boolean> shouldScroll = new Ref<Boolean>(false);
ApplicationManager.getApplication().invokeLater(new Runnable() {
public void run() {
shouldScroll.set(languageConsole.shouldScrollHistoryToEnd());
}
});
// Highlight output by pattern
Matcher matcher;
while ((matcher = CODE_ELEMENT_PATTERN.matcher(string)).find()) {
@@ -94,15 +89,6 @@ class PyConsoleProcessHandler extends OSProcessHandler {
string = string.substring(matcher.end());
}
printToConsole(languageConsole, string, ConsoleViewContentType.NORMAL_OUTPUT);
// Revert scrolling
if (shouldScroll.get()){
ApplicationManager.getApplication().invokeLater(new Runnable() {
public void run() {
languageConsole.queueUiUpdate(false);
}
});
}
}
private static void printToConsole(final LanguageConsoleImpl console, final String string, final ConsoleViewContentType type) {