Added #isDeathsCounted() in WorldSettings

#164
This commit is contained in:
Florian CUNY 2018-10-07 10:24:22 +02:00 committed by GitHub
parent 95c5c944cd
commit 87c54aaf08
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -251,5 +251,10 @@ public interface WorldSettings {
* @return max number of deaths for this world
*/
int getDeathsMax();
/**
* @return whether deaths should be counted.
*/
boolean isDeathsCounted();
}