Upstream/FastAsyncWorldedit
1
0
Fork 0
mirror of https://github.com/boy0001/FastAsyncWorldedit.git synced 2024-11-25 03:55:35 +01:00
Code Issues Projects Releases Wiki Activity

*Rename command

Browse Source
This commit is contained in:
Jesse Boyd 2017-03-04 17:03:32 +11:00
parent 1af22477ea
commit 9e9339b9ab
No known key found for this signature in database
GPG Key ID: 59F1DE6293AF6E1F
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
core/src/main/java/com/sk89q/worldedit/command/BrushCommands.java
View File

@ -376,19 +376,19 @@ public class BrushCommands {
} }
@Command( @Command(
aliases = { "raise" }, aliases = { "pull" },
usage = "[radius]", usage = "[radius]",
desc = "Choose the raise brush", desc = "Choose the raise brush",
help = "Chooses the raise brush", help = "Chooses the raise brush",
min = 0, min = 0,
max = 1 max = 1
) )
@CommandPermissions("worldedit.brush.raise") @CommandPermissions("worldedit.brush.pull")
public void raiseBrush(Player player, LocalSession session, @Optional("5") double radius) throws WorldEditException { public void pullBrush(Player player, LocalSession session, @Optional("5") double radius) throws WorldEditException {
worldEdit.checkMaxBrushRadius(radius); worldEdit.checkMaxBrushRadius(radius);
BrushTool tool = session.getBrushTool(player.getItemInHand(), player); BrushTool tool = session.getBrushTool(player.getItemInHand(), player);
tool.setSize(radius); tool.setSize(radius);
tool.setBrush(new RaiseBrush(), "worldedit.brush.erode", player); tool.setBrush(new RaiseBrush(), "worldedit.brush.pull", player);
player.print(BBC.getPrefix() + BBC.BRUSH_ERODE.f(radius)); player.print(BBC.getPrefix() + BBC.BRUSH_ERODE.f(radius));
} }