()
| 1609 | } |
| 1610 | |
| 1611 | private static void Menu_Options_f() { |
| 1612 | Options_MenuInit(); |
| 1613 | PushMenu((List<String> args) -> Options_MenuDraw(), new keyfunc_t() { |
| 1614 | public String execute(int key) { |
| 1615 | return Options_MenuKey(key); |
| 1616 | } |
| 1617 | }); |
| 1618 | } |
| 1619 | |
| 1620 | /* |
| 1621 | * ======================================================================= |
no test coverage detected