public static void SetTerminalSize(int width, int height, int bufferHeight)
{
if (WindowList.Count > 1)
{
Runtime.ThrowError("Cannot resize terminal when windows are open");
}
Width = width;
Height = height;
TerminalWindow.InitBuffer(width, height);
TerminalWindow.InitClientRectangle();
StdScr.Resize(width, height, bufferHeight);
RefreshAll();
}
public static void ReplResetDisplay()
{
ResetColors();
StdScr.Clear();
}
public static string ReplRead()
{
return(StdScr.Read());
}