From f05e31c8e9e07a72e06ad72f08ace6c19eaa361a Mon Sep 17 00:00:00 2001
From: sk89q <the.sk89q@gmail.com>
Date: Wed, 19 Jan 2011 02:50:29 -0800
Subject: [PATCH] Made sure that the player had the /jumpto permission in order
 to use the navigation wand.

---
 src/com/sk89q/worldedit/WorldEditController.java | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/com/sk89q/worldedit/WorldEditController.java b/src/com/sk89q/worldedit/WorldEditController.java
index 25b853c6d..96441fce3 100644
--- a/src/com/sk89q/worldedit/WorldEditController.java
+++ b/src/com/sk89q/worldedit/WorldEditController.java
@@ -1914,7 +1914,8 @@ public class WorldEditController {
                 return true;
             }
         } else if (player.getItemInHand() == config.navigationWand
-                && config.navigationWandMaxDistance > 0) {
+                && config.navigationWandMaxDistance > 0
+                && player.hasPermission("jumpto")) {
             WorldVector pos = player.getSolidBlockTrace(config.navigationWandMaxDistance);
             if (pos != null) {
                 player.findFreePosition(pos);