|
@@ -74,7 +74,20 @@ namespace Terminal.Gui {
|
|
}
|
|
}
|
|
}
|
|
}
|
|
public override void UpdateCursor () => Refresh ();
|
|
public override void UpdateCursor () => Refresh ();
|
|
- public override void End () => Curses.endwin ();
|
|
|
|
|
|
+
|
|
|
|
+ public override void End ()
|
|
|
|
+ {
|
|
|
|
+ if (reportableMouseEvents.HasFlag (Curses.Event.ReportMousePosition)) {
|
|
|
|
+ StopReportingMouseMoves ();
|
|
|
|
+ }
|
|
|
|
+ Curses.endwin ();
|
|
|
|
+ // Clear and reset entire screen.
|
|
|
|
+ Console.Out.Write ("\x1b[2J");
|
|
|
|
+ Console.Out.Flush ();
|
|
|
|
+ Console.Out.Write ("\x1b[1;25r");
|
|
|
|
+ Console.Out.Flush ();
|
|
|
|
+ }
|
|
|
|
+
|
|
public override void UpdateScreen () => window.redrawwin ();
|
|
public override void UpdateScreen () => window.redrawwin ();
|
|
public override void SetAttribute (Attribute c) => Curses.attrset (c.value);
|
|
public override void SetAttribute (Attribute c) => Curses.attrset (c.value);
|
|
public Curses.Window window;
|
|
public Curses.Window window;
|