()
| 2046 | } |
| 2047 | |
| 2048 | private static void Game_MenuDraw() { |
| 2049 | Banner("m_banner_game"); |
| 2050 | Menu_AdjustCursor(s_game_menu, 1); |
| 2051 | Menu_Draw(s_game_menu); |
| 2052 | } |
| 2053 | |
| 2054 | private static String Game_MenuKey(int key) { |
| 2055 | return Default_MenuKey(s_game_menu, key); |
no test coverage detected