/**
* 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);
}
}
