Method DMOptions_MenuKey

client/src/main/java/jake2/client/Menu.java:3258–3260

(int key)

    }

    private static String DMOptions_MenuKey(int key) {
        return Default_MenuKey(s_dmoptions_menu, key);
    }

    private static void Menu_DMOptions_f() {
        DMOptions_MenuInit();