equal
deleted
inserted
replaced
285 DeleteWindowById(WC_CONSOLE, 0); |
285 DeleteWindowById(WC_CONSOLE, 0); |
286 _iconsole_win = NULL; |
286 _iconsole_win = NULL; |
287 _iconsole_mode = ICONSOLE_CLOSED; |
287 _iconsole_mode = ICONSOLE_CLOSED; |
288 break; |
288 break; |
289 } |
289 } |
290 MarkWholeScreenDirty(); |
|
291 MarkAllViewportsDirty(0, 0, _screen.width, _screen.height); |
|
292 _video_driver->make_dirty(0, 0, _screen.width, _screen.height); |
|
293 } |
290 } |
294 |
291 |
295 void IConsoleClose(void) |
292 void IConsoleClose(void) |
296 { |
293 { |
297 if (_iconsole_mode == ICONSOLE_OPENED) IConsoleSwitch(); |
294 if (_iconsole_mode == ICONSOLE_OPENED) IConsoleSwitch(); |
298 _iconsole_mode = ICONSOLE_CLOSED; |
|
299 } |
295 } |
300 |
296 |
301 void IConsoleOpen(void) |
297 void IConsoleOpen(void) |
302 { |
298 { |
303 if (_iconsole_mode == ICONSOLE_CLOSED) IConsoleSwitch(); |
299 if (_iconsole_mode == ICONSOLE_CLOSED) IConsoleSwitch(); |
304 _iconsole_mode = ICONSOLE_OPENED; |
|
305 } |
300 } |
306 |
301 |
307 void IConsoleCmdBufferAdd(const char* cmd) |
302 void IConsoleCmdBufferAdd(const char* cmd) |
308 { |
303 { |
309 int i; |
304 int i; |