|
@@ -93,6 +93,7 @@ namespace Terminal.Gui {
|
|
|
|
|
|
public void Cleanup ()
|
|
public void Cleanup ()
|
|
{
|
|
{
|
|
|
|
+ ConsoleMode = originalConsoleMode;
|
|
ContinueListeningForConsoleEvents = false;
|
|
ContinueListeningForConsoleEvents = false;
|
|
if (!SetConsoleActiveScreenBuffer (OutputHandle)) {
|
|
if (!SetConsoleActiveScreenBuffer (OutputHandle)) {
|
|
var err = Marshal.GetLastWin32Error ();
|
|
var err = Marshal.GetLastWin32Error ();
|