2024-06-13 19:12:48 +02:00
|
|
|
From 0000000000000000000000000000000000000000 Mon Sep 17 00:00:00 2001
|
|
|
|
From: DoctorDark <doctordark11@gmail.com>
|
|
|
|
Date: Wed, 16 Mar 2016 02:21:39 -0500
|
|
|
|
Subject: [PATCH] Configurable end credits
|
|
|
|
|
|
|
|
|
2024-08-14 21:26:38 +02:00
|
|
|
diff --git a/src/main/java/net/minecraft/world/level/block/EndPortalBlock.java b/src/main/java/net/minecraft/world/level/block/EndPortalBlock.java
|
|
|
|
index e2d6693da4abe6204c0ecb5e924a3903fa80ab7d..a9c7a74b38a57c118c1ad67a77ba6f2e5c05d91e 100644
|
|
|
|
--- a/src/main/java/net/minecraft/world/level/block/EndPortalBlock.java
|
|
|
|
+++ b/src/main/java/net/minecraft/world/level/block/EndPortalBlock.java
|
|
|
|
@@ -71,6 +71,7 @@ public class EndPortalBlock extends BaseEntityBlock implements Portal {
|
|
|
|
if (!world.isClientSide && world.dimension() == Level.END && entity instanceof ServerPlayer) {
|
|
|
|
ServerPlayer entityplayer = (ServerPlayer) entity;
|
|
|
|
|
|
|
|
+ if (world.paperConfig().misc.disableEndCredits) entityplayer.seenCredits = true; // Paper - Option to disable end credits
|
|
|
|
if (!entityplayer.seenCredits) {
|
|
|
|
entityplayer.showEndCredits();
|
|
|
|
return;
|