Properly deletes hidden players from top ten

#98
BentoBoxWorld · Nov 17, 2019 · d6117e6 · d6117e6
1 parent 838507c
commit d6117e6
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/main/java/world/bentobox/level/TopTen.java b/src/main/java/world/bentobox/level/TopTen.java
@@ -107,6 +107,8 @@ public void getGUI(World world, final User user, String permPrefix) {
                 if (!entry.hasPermission(permPrefix + "intopten")) {
                     it.remove();
                     show = false;
+                    // Remove from Top Ten completely
+                    topTenList.get(world).remove(topTenUUID);
                 }
             }
             if (show) {