Plexus/Plex-FAWE
1
0
Fork 0
mirror of https://github.com/plexusorg/Plex-FAWE.git synced 2025-07-05 20:36:42 +00:00
Code Issues Packages Projects Releases Wiki Activity

Various minor fixes

Browse Source 
Fix drain
Fix some messages lacking prefix
Fix non persistent brushes
This commit is contained in:
Jesse Boyd
2018-10-13 15:15:20 +11:00
parent 1b7ac7a0bc
commit 1a12c065a1
6 changed files with 24 additions and 15 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
worldedit-core/src/main/java/com/sk89q/worldedit/LocalSession.java
View File

@ -1043,6 +1043,15 @@ public class LocalSession implements TextureHolder {
} else {
previous = this.tools[type.getInternalId()];
this.tools[type.getInternalId()] = tool;
if (tool != null) {
hasTool = true;
} else {
hasTool = false;
for (Tool i : this.tools) if (i != null) {
hasTool = true;
break;
}
}
}
if (previous != null && player != null && previous instanceof BrushTool) {
BrushTool brushTool = (BrushTool) previous;