Merged lp:~widelands-dev/widelands/bug-1797702-spaces-in-names-clean-start:
rework netsetup
- allowed characters are limited
- login with empty username not allowed
- if username ist taken append number
- don't join game with empty username
editbox
- added has_warning()