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(); }