Open the game options window. */
| 1849 | |
| 1850 | /** Open the game options window. */ |
| 1851 | void ShowGameOptions() |
| 1852 | { |
| 1853 | CloseWindowByClass(WC_GAME_OPTIONS); |
| 1854 | new GameOptionsWindow(_game_options_desc); |
| 1855 | } |
| 1856 | |
| 1857 | /** |
| 1858 | * Draw [<][>] boxes. |
no test coverage detected