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 SetTerminalFont(string name, int size)
{
TerminalWindow.InitFont(name, size);
TerminalWindow.InitClientRectangle();
RefreshAll();
}