~widelands-dev/widelands/editor-resize-map

Viewing all changes in revision 9041.

  • Committer: Nordfriese
  • Date: 2019-04-10 10:42:22 UTC
  • Revision ID: nordfriese-20190410104222-yeaipuhh3h5xzdyn
Dropdown for map size selection in New Map and Random Map menus as well

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: