Viewing all changes in revision 8793.
- Committer: Wideland's Bunnybot
- Date: 2018-08-22 16:28:44 UTC
- mfrom: (8789.1.3 multiplayer-ui)
- Revision ID: bunnybot@widelands.org-20180822162844-0gu3s9q1zz5s3541
Merged lp:~widelands-dev/widelands/multiplayer-ui:
Multiplayer-ui tweaks: less empty spaces and more space for important content.
- chat has more space
- map_info scales better
- client_info has no height restriction
Multiplayer-ui tweaks: less empty spaces and more space for important content.
- chat has more space
- map_info scales better
- client_info has no height restriction
- files modified:
- src/ui_fsmenu/launch_mpg.cc
expand all
collapse all
added
removed
