public int getHeight() { if (isPlainTerminal()) { return PLAIN_TERMINAL_HEIGHT; } return terminal.getHeight(); }
public boolean isPlainTerminal() { // check if terminal width can be determined // e.g. IntelliJ IDEA terminal supports only a plain terminal return terminal.getWidth() == 0 && terminal.getHeight() == 0; }
@Override public int getHeight() { return terminal.getHeight(); }
@Override public int getHeight() { return terminal.getHeight(); }
private void updateTerminalSize() { terminal.flush(); height = terminal.getHeight(); }
channel.setPtyModes(modes); channel.setPtyColumns(terminal.getWidth()); channel.setPtyLines(terminal.getHeight()); channel.setAgentForwarding(true); channel.setEnv("TERM", terminal.getType());
channel.setPtyModes(modes); channel.setPtyColumns(terminal.getWidth()); channel.setPtyLines(terminal.getHeight()); channel.setAgentForwarding(true); channel.setEnv("TERM", terminal.getType());
channel.setPtyModes(modes); channel.setPtyColumns(terminal.getWidth()); channel.setPtyLines(terminal.getHeight()); channel.setAgentForwarding(true); channel.setEnv("TERM", terminal.getType());
channel.setPtyModes(modes); channel.setPtyColumns(terminal.getWidth()); channel.setPtyLines(terminal.getHeight()); channel.setAgentForwarding(true); channel.setEnv("TERM", terminal.getType());
session.put("#TERM", (Function) (s, arguments) -> terminal.getType()); session.put("#COLUMNS", (Function) (s, arguments) -> terminal.getWidth()); session.put("#LINES", (Function) (s, arguments) -> terminal.getHeight()); session.put("#PWD", (Function) (s, arguments) -> s.currentDir().toString()); if (!opt.isSet("nohistory")) {
terminal = terminalBuilder.build(); getOpts().set(BuiltInProperty.MAX_WIDTH, terminal.getWidth()); getOpts().set(BuiltInProperty.MAX_HEIGHT, terminal.getHeight());
terminal = terminalBuilder.build(); getOpts().set(BuiltInProperty.MAX_WIDTH, terminal.getWidth()); getOpts().set(BuiltInProperty.MAX_HEIGHT, terminal.getHeight());