mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
IDEA-139633 Updated jediterm-pty-2.0.jar (explicitly closing process streams)
This commit is contained in:
Binary file not shown.
+2
-2
@@ -200,13 +200,13 @@ public class JBTerminalSystemSettingsProvider extends DefaultTabbedSettingsProvi
|
||||
}
|
||||
|
||||
@Override
|
||||
public int bufferMaxLinesCount() {
|
||||
public int getBufferMaxLinesCount() {
|
||||
final int linesCount = Registry.get("terminal.buffer.max.lines.count").asInteger();
|
||||
if (linesCount > 0) {
|
||||
return linesCount;
|
||||
}
|
||||
else {
|
||||
return super.bufferMaxLinesCount();
|
||||
return super.getBufferMaxLinesCount();
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
Reference in New Issue
Block a user