|
@@ -1034,12 +1034,22 @@ namespace Terminal.Gui {
|
|
StopReportingMouseMoves ();
|
|
StopReportingMouseMoves ();
|
|
Console.ResetColor ();
|
|
Console.ResetColor ();
|
|
Console.Clear ();
|
|
Console.Clear ();
|
|
|
|
+
|
|
|
|
+ //Disable alternative screen buffer.
|
|
|
|
+ Console.Out.Write ("\x1b[?1049l");
|
|
|
|
+
|
|
|
|
+ //Set cursor key to cursor.
|
|
|
|
+ Console.Out.Write ("\x1b[?25h");
|
|
|
|
+
|
|
Platform.Suspend ();
|
|
Platform.Suspend ();
|
|
|
|
+
|
|
|
|
+ //Enable alternative screen buffer.
|
|
|
|
+ Console.Out.Write ("\x1b[?1049h");
|
|
|
|
+
|
|
Application.Refresh ();
|
|
Application.Refresh ();
|
|
StartReportingMouseMoves ();
|
|
StartReportingMouseMoves ();
|
|
}
|
|
}
|
|
|
|
|
|
-
|
|
|
|
public override void SetAttribute (Attribute c)
|
|
public override void SetAttribute (Attribute c)
|
|
{
|
|
{
|
|
base.SetAttribute (c);
|
|
base.SetAttribute (c);
|