| 400 | } |
| 401 | |
| 402 | void IConsoleGUIFree() |
| 403 | { |
| 404 | IConsoleClearBuffer(); |
| 405 | } |
| 406 | |
| 407 | /** Change the size of the in-game console window after the screen size changed, or the window state changed. */ |
| 408 | void IConsoleResize(Window *w) |
no test coverage detected