--- a/console.c Sat Nov 27 19:53:53 2004 +0000
+++ b/console.c Sat Nov 27 21:28:51 2004 +0000
@@ -287,21 +287,16 @@
_iconsole_mode = ICONSOLE_CLOSED;
break;
}
- MarkWholeScreenDirty();
- MarkAllViewportsDirty(0, 0, _screen.width, _screen.height);
- _video_driver->make_dirty(0, 0, _screen.width, _screen.height);
}
void IConsoleClose(void)
{
if (_iconsole_mode == ICONSOLE_OPENED) IConsoleSwitch();
- _iconsole_mode = ICONSOLE_CLOSED;
}
void IConsoleOpen(void)
{
if (_iconsole_mode == ICONSOLE_CLOSED) IConsoleSwitch();
- _iconsole_mode = ICONSOLE_OPENED;
}
void IConsoleCmdBufferAdd(const char* cmd)