langtools/src/jdk.jshell/share/classes/jdk/internal/jshell/tool/ConsoleIOContext.java
equal
deleted
inserted
replaced
1165 private final StopDetectingInputStream input; |
1165 private final StopDetectingInputStream input; |
1166 private final int height; |
1166 private final int height; |
1167 |
1167 |
1168 public TestTerminal(StopDetectingInputStream input) throws Exception { |
1168 public TestTerminal(StopDetectingInputStream input) throws Exception { |
1169 super(true); |
1169 super(true); |
1170 setAnsiSupported(false); |
1170 setAnsiSupported(Boolean.getBoolean("test.terminal.ansi.supported")); |
1171 setEchoEnabled(false); |
1171 setEchoEnabled(false); |
1172 this.input = input; |
1172 this.input = input; |
1173 int h = DEFAULT_HEIGHT; |
1173 int h = DEFAULT_HEIGHT; |
1174 try { |
1174 try { |
1175 String hp = System.getProperty("test.terminal.height"); |
1175 String hp = System.getProperty("test.terminal.height"); |