Viewing all changes in revision 8750.
- Committer: Wideland's Bunnybot
- Date: 2018-07-13 11:23:52 UTC
- mfrom: (8713.1.23 bug-1691339-editor-8-players)
- Revision ID: bunnybot@widelands.org-20180713112352-xp2jpp72g9jm22d4
Merged lp:~widelands-dev/widelands/bug-1691339-editor-8-players:
Refactored Editor Player Menu to use Box layout. Show dismissable warning if more than 8 players are selected.
Refactored Editor Player Menu to use Box layout. Show dismissable warning if more than 8 players are selected.
expand all
collapse all
added
removed
