Add 'grayplayerswhenhidden' option to allow disable of graying of players in player list when not visible on current map

src/main/java/org/dynmap/ClientConfigurationComponent.java

@@ -26,6 +26,7 @@ public class ClientConfigurationComponent extends Component {
                 s(t, "dynmapversion", plugin.getDescription().getVersion());
                 s(t, "cyrillic", c.getBoolean("cyrillic-support", false));
                 s(t, "showlayercontrol", c.getBoolean("showlayercontrol", true));
+                s(t, "grayplayerswhenhidden", c.getBoolean("grayplayerswhenhidden", true));
                 String sn = plugin.getServer().getServerName();
                 if(sn.equals("Unknown Server"))
                     sn = "Minecraft Dynamic Map";

src/main/resources/configuration.txt

@@ -236,6 +236,9 @@ fullrenderplayerlimit: 0
 
 showplayerfacesinmenu: true
 
+# Control whether players that are hidden or not on current map are grayed out (true=yes)
+grayplayerswhenhidden: true
+
 # Set sidebaropened: 'true' to pin menu sidebar opened permanently, 'pinned' to default the sidebar to pinned, but allow it to unpin
 #sidebaropened: true
 

web/js/map.js

@@ -695,6 +695,7 @@ DynMap.prototype = {
 		$(me).trigger('playerupdated', [ player ]);
 		
 		// Update menuitem.
+		if(me.options.grayplayerswhenhidden)
 			player.menuitem.toggleClass('otherworld', me.world !== location.world);
 		
 		if (player === me.followingPlayer) {