mirrors/papermc
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages 1 Wiki Activity Actions

Rebuild patches

Browse source
This commit is contained in:
Jason Penilla 2023-09-22 10:59:56 -07:00
parent ead3ddba32
commit 896aa8b54a
No known key found for this signature in database
GPG key ID: 0E75A301420E48F8
190 changed files with 396 additions and 455 deletions
Download patch file Download diff file Expand all files Collapse all files

2
patches/server/0551-Improve-ServerGUI.patch
View file

@ -59,7 +59,7 @@ index 2e93eec8733c5b548a15269a322fe4dd1f189b7d..dd9f611efc95f7d06fd3011fedd5d031
public void windowClosing(WindowEvent windowevent) {
if (!servergui.isClosing.getAndSet(true)) {
diff --git a/src/main/java/net/minecraft/server/gui/StatsComponent.java b/src/main/java/net/minecraft/server/gui/StatsComponent.java
index cc103d93a9603ad41ac64295dd3b50459abbd7cb..fac8a67dd8ee3894909504df8c0910f8180d6c35 100644
index 4c5059805715bbca53196bcabd7eda550a46c34d..88f10d729aa1e0a01790521821d691a0ecd373a2 100644
--- a/src/main/java/net/minecraft/server/gui/StatsComponent.java
+++ b/src/main/java/net/minecraft/server/gui/StatsComponent.java
@@ -35,8 +35,17 @@ public class StatsComponent extends JComponent {