twin/paper-mc
1
0
Fork 0
mirror of https://github.com/PaperMC/Paper.git synced 2025-08-02 05:02:10 -07:00
Code Issues Packages Projects Releases Wiki Activity

Make PlayerProfile.getProperties mutable

Browse Source 
Most other collections returned like this is mutable, lets be consistent.
This commit is contained in:
Aikar
2018-01-21 14:09:09 -05:00
parent 8ed1cbe0fb
commit 8d654f26d3
2 changed files with 57 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
Spigot-API-Patches/Basic-PlayerProfile-API.patch
View File

@@ -7,7 +7,7 @@ Provides basic elements of a PlayerProfile to be used by future API/events
diff --git a/src/main/java/com/destroystokyo/paper/profile/PlayerProfile.java b/src/main/java/com/destroystokyo/paper/profile/PlayerProfile.java
new file mode 100644
index 00000000..f3868f94
index 00000000..a7b69cab
--- /dev/null
+++ b/src/main/java/com/destroystokyo/paper/profile/PlayerProfile.java
@@ -0,0 +0,0 @@
@@ -37,7 +37,7 @@ index 00000000..f3868f94
+ @Nullable UUID getId();
+
+ /**
+ * @return A copy of this players properties, such as textures.
+ * @return A Mutable set of this players properties, such as textures.
+ * Values specified here are subject to implementation details.
+ */
+ @Nonnull Set<ProfileProperty> getProperties();