@@ -962,7 +962,7 @@ namespace Terminal.Gui {
}
- void ResizeScreen ()
+ public override void ResizeScreen ()
{
Clip = new Rect (0, 0, Cols, Rows);
Console.Out.Write ("\x1b[3J");
@@ -523,7 +523,7 @@ namespace Terminal.Gui {
TerminalResized?.Invoke ();
if (!HeightAsBuffer) {
if (FakeConsole.WindowHeight > 0) {
@@ -1381,7 +1381,7 @@ namespace Terminal.Gui {
Clear ();
if (Console.WindowHeight > 0) {
@@ -1425,7 +1425,7 @@ namespace Terminal.Gui {
Colors.Error.Disabled = MakeColor (ConsoleColor.DarkGray, ConsoleColor.White);
OutputBuffer = new WindowsConsole.CharInfo [Rows * Cols];
@@ -771,6 +771,11 @@ namespace Terminal.Gui {
/// </summary>
public abstract void End ();
+ /// <summary>
+ /// Resizes the clip area when the screen is resized.
+ /// </summary>
+ public abstract void ResizeScreen ();
+
/// <summary>
/// Reset and recreate the contents and the driver buffer.