/// <summary>Change the window dimension interactively.</summary>
/// <remarks>Change the window dimension interactively.</remarks>
/// <param name="col">terminal width, columns</param>
/// <param name="row">terminal height, rows</param>
/// <param name="wp">terminal width, pixels</param>
/// <param name="hp">terminal height, pixels</param>
/// <seealso cref="RFC4254">6.7. Window Dimension Change Message</seealso>
public virtual 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.DoRequest(GetSession(), this);
}
catch (Exception)
{
}
}
/// <summary>Change the window dimension interactively.</summary>
/// <remarks>Change the window dimension interactively.</remarks>
/// <param name="col">terminal width, columns</param>
/// <param name="row">terminal height, rows</param>
/// <param name="wp">terminal width, pixels</param>
/// <param name="hp">terminal height, pixels</param>
/// <seealso cref="RFC4254">6.7. Window Dimension Change Message</seealso>
public virtual 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.DoRequest(GetSession(), this);
}
catch (Exception)
{
}
}
