public void Resize(int width, int height)
{
if (!_parent.IsClosed)
{
TelnetOptionWriter wr = new TelnetOptionWriter();
wr.WriteTerminalSize(width, height);
wr.WriteTo(_socket);
}
}
public TelnetNegotiator(string terminal_type, int width, int height) {
Debug.Assert(terminal_type != null);
_terminalType = terminal_type;
_width = width;
_height = height;
_warnings = new List<string>();
_state = TelnetCode.NA;
_sequenceBuffer = new MemoryStream();
_optionWriter = new TelnetOptionWriter();
_defaultOptionSent = false;
}
public TelnetNegotiator(string terminal_type, int width, int height)
{
Debug.Assert(terminal_type != null);
_terminalType = terminal_type;
_width = width;
_height = height;
_warnings = new List <string>();
_state = TelnetCode.NA;
_sequenceBuffer = new MemoryStream();
_optionWriter = new TelnetOptionWriter();
_defaultOptionSent = false;
}
public void Resize(int width, int height)
{
if (!_parent.IsClosed) {
TelnetOptionWriter wr = new TelnetOptionWriter();
wr.WriteTerminalSize(width, height);
wr.WriteTo(_socket);
}
}