Java 类net.minecraft.client.settings.GameSettings.Options 实例源码

@Nullable
private static Options getOptionByName(@Nonnull final String name) {
    for (final Options o : Options.values())
        if (name.equals(o.getEnumString()))
            return o;
    return null;
}

public static Options addOptions(String name, String langName, boolean isSlider, boolean isToggle)
{
    return addEnum(Options.class, name, langName, isSlider, isToggle);
}

public static Options addOptions(String name, String langName, boolean isSlider, boolean isToggle, float valMin, float valMax, float valStep)
{
    return addEnum(Options.class, name,
            new Class<?>[]{String.class, boolean.class, boolean.class, float.class, float.class, float.class},
            langName, isSlider, isToggle, valMin, valMax, valStep);
}

public static Options addOptions(String name, String langName, boolean isSlider, boolean isToggle)
{
    return addEnum(Options.class, name, langName, isSlider, isToggle);
}

public static Options addOptions(String name, String langName, boolean isSlider, boolean isToggle)
{
    return addEnum(Options.class, name, langName, isSlider, isToggle);
}

public GuiSmallButton(int p_i3057_1_, int p_i3057_2_, int p_i3057_3_, String p_i3057_4_) {
  this(p_i3057_1_, p_i3057_2_, p_i3057_3_, (Options)null, p_i3057_4_);
}

public GuiSmallButton(int p_i3059_1_, int p_i3059_2_, int p_i3059_3_, Options p_i3059_4_, String p_i3059_5_) {
  super(p_i3059_1_, p_i3059_2_, p_i3059_3_, 150, 20, p_i3059_5_);
  field_73754_j = p_i3059_4_;
}

public Options func_73753_a() {
  return field_73754_j;
}

public static Options addOptions(String name, String langName, boolean isSlider, boolean isToggle)
{
    return addEnum(Options.class, name, langName, isSlider, isToggle);
}

public static Options addOptions(String name, String langName, boolean isSlider, boolean isToggle)
{
    return addEnum(Options.class, name, langName, isSlider, isToggle);
}

public static Options addOptions(String name, String langName, boolean isSlider, boolean isToggle)
{
    return addEnum(Options.class, name, langName, isSlider, isToggle);
}

public static void changeGuiScale(Minecraft mc) {
    mc.gameSettings.setOptionValue(Options.GUI_SCALE, 1);
    ScaledResolution sr = new ScaledResolution(mc.gameSettings, mc.displayWidth, mc.displayHeight);
    mc.currentScreen.setWorldAndResolution(mc, sr.getScaledWidth(), sr.getScaledHeight());
}