diff -r b1e18b1e480e -r 979bb729efd9 console.c --- 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)