on our server we do not want to allow spaces in player names that is mainly because most plugins do not support spaces in player names. An important example is that there exists currently no teleport to player function that supports spaces in player names and if someone is griefing/misbehaving we cannot go to them fast to see what is going on.
Thus would like to ask for a player.setName(String Name) method so I can manually change their names when they log in to our server to use underscores instead of spaces.
If that is not something you would like to give as a function @red51 (as it can be abused to change player names to w/e a plugin creator would want) then could we get some method like e.g. player.trimName() that automatically changes spaces to underscores so that it is safer for everyone players and plugin creators?