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

terminal: survive failed resize (IDEA-203500)

Browse Source 
The underlying cause still needs investigation.
This commit is contained in:
Sergey Simonchik
2018-12-17 21:53:20 +03:00
parent e90f657074
commit 0c762f9347
1 changed files with 6 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
plugins/terminal/src/org/jetbrains/plugins/terminal/AbstractTerminalRunner.java
+6 -1
View File
@@ -212,7 +212,12 @@ public abstract class AbstractTerminalRunner<T extends Process> {
// Resize ASAP once the process started.
// Even though it will be resized in invokeLater, it takes some time until invokeLater is executed.
// Sometimes it's enough to have cropped output, if the output is restricted by the terminal width.
TerminalStarter.resizeTerminal(terminalWidget.getTerminal(), connector, size, RequestOrigin.User);
try {
TerminalStarter.resizeTerminal(terminalWidget.getTerminal(), connector, size, RequestOrigin.User);
}
catch (Exception e) {
LOG.warn("Cannot resize right after creation, process.isAlive: " + process.isAlive(), e);
}
}
ApplicationManager.getApplication().invokeLater(() -> {