42 lines
1.3 KiB
Diff
42 lines
1.3 KiB
Diff
From 79529c856d312e3ccceedf58c339fe99bff3046b Mon Sep 17 00:00:00 2001
|
|
From: md_5 <md_5@live.com.au>
|
|
Date: Sat, 3 Aug 2013 19:20:50 +1000
|
|
Subject: [PATCH] Player Collision API
|
|
|
|
|
|
diff --git a/src/main/java/org/bukkit/entity/Player.java b/src/main/java/org/bukkit/entity/Player.java
|
|
index c6bb787..b879ecb 100644
|
|
--- a/src/main/java/org/bukkit/entity/Player.java
|
|
+++ b/src/main/java/org/bukkit/entity/Player.java
|
|
@@ -1055,6 +1055,27 @@ public interface Player extends HumanEntity, Conversable, CommandSender, Offline
|
|
{
|
|
throw new UnsupportedOperationException( "Not supported yet." );
|
|
}
|
|
+
|
|
+ /**
|
|
+ * Gets whether the player collides with entities
|
|
+ *
|
|
+ * @return the player's collision toggle state
|
|
+ */
|
|
+ public boolean getCollidesWithEntities()
|
|
+ {
|
|
+ throw new UnsupportedOperationException( "Not supported yet." );
|
|
+ }
|
|
+
|
|
+ /**
|
|
+ * Sets whether the player collides with entities
|
|
+ *
|
|
+ * @param collides whether the player should collide with entities or
|
|
+ * not.
|
|
+ */
|
|
+ public void setCollidesWithEntities(boolean collides)
|
|
+ {
|
|
+ throw new UnsupportedOperationException( "Not supported yet." );
|
|
+ }
|
|
}
|
|
|
|
Spigot spigot();
|
|
--
|
|
1.9.1
|
|
|