/** * Change the window dimension interactively. * * @param col terminal width, columns * @param row terminal height, rows * @param wp terminal width, pixels * @param hp terminal height, pixels * @see RFC4254 6.7. Window Dimension Change Message */ public void setPtySize(int col, int row, int wp, int hp) { setPtyType(this.ttype, col, row, wp, hp); if (!pty || !isConnected()) { return; } try { RequestWindowChange request = new RequestWindowChange(); request.setSize(col, row, wp, hp); request.request(getSession(), this); } catch //(Exception e) { //Console.Error.WriteLine("ChannelSessio.setPtySize: "+e); } }
/** * Change the window dimension interactively. * * @param col terminal width, columns * @param row terminal height, rows * @param wp terminal width, pixels * @param hp terminal height, pixels * @see RFC4254 6.7. Window Dimension Change Message */ public void setPtySize(int col, int row, int wp, int hp) { setPtyType(this.ttype, col, row, wp, hp); if (!pty || !isConnected()) { return; } try { RequestWindowChange request = new RequestWindowChange(); request.setSize(col, row, wp, hp); request.request(getSession(), this); } catch //(Exception e) { //Console.Error.WriteLine("ChannelSessio.setPtySize: "+e); } }