* Size of the application screen changed. * Adapt the game screen-size, re-allocate the open windows, and repaint everything */
| 594 | * Adapt the game screen-size, re-allocate the open windows, and repaint everything |
| 595 | */ |
| 596 | void GameSizeChanged() |
| 597 | { |
| 598 | _cur_resolution.width = _screen.width; |
| 599 | _cur_resolution.height = _screen.height; |
| 600 | ScreenSizeChanged(); |
| 601 | RelocateAllWindows(_screen.width, _screen.height); |
| 602 | MarkWholeScreenDirty(); |
| 603 | } |
no test coverage detected