@Override public void setSize(Size size) { terminal.setSize(size); }
@Override public void setSize(Size size) { terminal.setSize(size); }
@Override public void setSize(Size size) { delegate().setSize(size); }
@Override public void setSize(Size size) { delegate().setSize(size); }
.streams(in, out) .build(); terminal.setSize(new Size(Integer.parseInt(env.getEnv().get("COLUMNS")), Integer.parseInt(env.getEnv().get("LINES")))); Attributes attr = terminal.getAttributes(); terminal.setSize(new Size(Integer.parseInt(env.getEnv().get("COLUMNS")), Integer.parseInt(env.getEnv().get("LINES")))); terminal.raise(Terminal.Signal.WINCH);
.streams(in, out) .build(); terminal.setSize(new Size(Integer.parseInt(env.getEnv().get("COLUMNS")), Integer.parseInt(env.getEnv().get("LINES")))); Attributes attr = terminal.getAttributes(); terminal.setSize(new Size(Integer.parseInt(env.getEnv().get("COLUMNS")), Integer.parseInt(env.getEnv().get("LINES")))); terminal.raise(Terminal.Signal.WINCH);
terminal.setSize(new Size( Integer.parseInt(sshEnv.getEnv().get("COLUMNS")), Integer.parseInt(sshEnv.getEnv().get("LINES"))));
terminal.setSize(size);
jlineTerminal.setSize(new Size(80, 24));
jlineTerminal.setSize(new Size(80, 24));