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

some compile fixes

Browse source
This commit is contained in:
MiniDigger | Martin 2023-09-22 19:31:02 +02:00
parent f4d8a64094
commit 1ebaffacf5
219 changed files with 493 additions and 434 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 4c5059805715bbca53196bcabd7eda550a46c34d..88f10d729aa1e0a01790521821d691a0ecd373a2 100644
index cc103d93a9603ad41ac64295dd3b50459abbd7cb..fac8a67dd8ee3894909504df8c0910f8180d6c35 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 {