package net.minecraft.client.resources.metadata.gui; import com.mojang.serialization.Codec; import com.mojang.serialization.codecs.RecordCodecBuilder; import net.minecraft.server.packs.metadata.MetadataSectionType; public record GuiMetadataSection(GuiSpriteScaling scaling) { public static final GuiMetadataSection DEFAULT = new GuiMetadataSection(GuiSpriteScaling.DEFAULT); public static final Codec CODEC = RecordCodecBuilder.create( i -> i.group(GuiSpriteScaling.CODEC.optionalFieldOf("scaling", GuiSpriteScaling.DEFAULT).forGetter(GuiMetadataSection::scaling)) .apply(i, GuiMetadataSection::new) ); public static final MetadataSectionType TYPE = new MetadataSectionType("gui", CODEC); }