mirror/WorldEdit
2
0
Fork 0
mirror of https://github.com/EngineHub/WorldEdit.git synced 2024-12-27 05:00:08 +08:00
Code Issues Packages Projects Releases Wiki Activity

Fixed exceptions in //brush since build #115.

Browse Source
This commit is contained in:
TomyLobo 2011-08-08 02:22:29 +02:00
parent b8a987b204
commit 8d688165ee
1 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
src/main/java/com/sk89q/worldedit/commands/BrushCommands.java
View File

@ -82,7 +82,7 @@ public static void sphereBrush(CommandContext args, WorldEdit we,
tool.setBrush(new SphereBrush(), "worldedit.brush.sphere"); tool.setBrush(new SphereBrush(), "worldedit.brush.sphere");
} }
player.print(String.format("Sphere brush shape equipped (%d).", player.print(String.format("Sphere brush shape equipped (%.0f).",
radius)); radius));
} }
@ -126,7 +126,7 @@ public static void cylinderBrush(CommandContext args, WorldEdit we,
tool.setBrush(new CylinderBrush(height), "worldedit.brush.cylinder"); tool.setBrush(new CylinderBrush(height), "worldedit.brush.cylinder");
} }
player.print(String.format("Cylinder brush shape equipped (%d by %d).", player.print(String.format("Cylinder brush shape equipped (%.0f by %d).",
radius, height)); radius, height));
} }
@ -182,7 +182,7 @@ public static void smoothBrush(CommandContext args, WorldEdit we,
LocalConfiguration config = we.getConfiguration(); LocalConfiguration config = we.getConfiguration();
double radius = args.argsLength() > 1 ? args.getDouble(1) : 2; double radius = args.argsLength() > 0 ? args.getDouble(0) : 2;
if (radius > config.maxBrushRadius) { if (radius > config.maxBrushRadius) {
player.printError("Maximum allowed brush radius: " player.printError("Maximum allowed brush radius: "
+ config.maxBrushRadius); + config.maxBrushRadius);
@ -195,7 +195,7 @@ public static void smoothBrush(CommandContext args, WorldEdit we,
tool.setSize(radius); tool.setSize(radius);
tool.setBrush(new SmoothBrush(iterations), "worldedit.brush.smooth"); tool.setBrush(new SmoothBrush(iterations), "worldedit.brush.smooth");
player.print(String.format("Smooth brush equipped (%d x %dx).", player.print(String.format("Smooth brush equipped (%.0f x %dx).",
radius, iterations)); radius, iterations));
} }
@ -213,7 +213,7 @@ public static void extinguishBrush(CommandContext args, WorldEdit we,
LocalConfiguration config = we.getConfiguration(); LocalConfiguration config = we.getConfiguration();
double radius = args.argsLength() > 1 ? args.getDouble(1) : 2; double radius = args.argsLength() > 1 ? args.getDouble(1) : 5;
if (radius > config.maxBrushRadius) { if (radius > config.maxBrushRadius) {
player.printError("Maximum allowed brush radius: " player.printError("Maximum allowed brush radius: "
+ config.maxBrushRadius); + config.maxBrushRadius);
@ -227,7 +227,7 @@ public static void extinguishBrush(CommandContext args, WorldEdit we,
tool.setMask(new BlockTypeMask(BlockID.FIRE)); tool.setMask(new BlockTypeMask(BlockID.FIRE));
tool.setBrush(new SphereBrush(), "worldedit.brush.ex"); tool.setBrush(new SphereBrush(), "worldedit.brush.ex");
player.print(String.format("Extinguisher equipped (%d).", player.print(String.format("Extinguisher equipped (%.0f).",
radius)); radius));
} }
} }