[GREENFOOT-779] "Set player name" doesn't work
Setting the player name via preferences or the dialog (via Tools menu) has no effect - a call to UserInfo.getMyInfo().getUserName() still returns "Player1". The name set is not pushed through to the remote VM.
- Issue type: Task
- Priority: Medium