From fd86ae8f6e675c05add6e105c5869e79d0c0c52f Mon Sep 17 00:00:00 2001
From: sk89q <the.sk89q@gmail.com>
Date: Sat, 6 Nov 2010 01:22:33 -0700
Subject: [PATCH] Added /worldeditselect permission in order to allow just
 selecting a region.

---
 src/WorldEditListener.java | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/src/WorldEditListener.java b/src/WorldEditListener.java
index 1d1bf7fef..b2ea58c38 100644
--- a/src/WorldEditListener.java
+++ b/src/WorldEditListener.java
@@ -1403,6 +1403,16 @@ public class WorldEditListener extends PluginListener {
      * @return
      */
     private boolean canUseCommand(Player player, String command) {
+        // Allow the /worldeditselect permission
+        if (command.equalsIgnoreCase("//pos1")
+                || command.equalsIgnoreCase("//pos2")
+                || command.equalsIgnoreCase("//hpos1")
+                || command.equalsIgnoreCase("//hpos2")) {
+            return player.canUseCommand(command)
+                    || player.canUseCommand("/worldeditselect")
+                    || player.canUseCommand("/worldedit");
+        }
+        
         return player.canUseCommand(command.replace("air", ""))
                 || player.canUseCommand("/worldedit");
     }