Sounds good - we could have that both for the random map generator and the
player menu.
--
https://code.launchpad.net/~widelands-dev/widelands/bug-1783878_editor_random_map_tribe/+merge/352038
Your team Widelands Developers is subscribed to branch
Since one could also choose "Random tribe" in the Game setup menu, regardless
of the maps setting, i am thinking about this:
Maybe we can have a special tribe called "Random Tribe". So a map designer can
choose "Random tribe" beside the others in the editor player menu for a normal
map.
Continuous integration builds have changed state:
Travis build 3747. State: failed. Details:
https://travis-ci.org/widelands/widelands/builds/411195871.
Appveyor build 3547. State: success. Details:
Review: Approve
Looks good to me - the maps will be more interesting anyway than if we were
assigning Barbarians to everybody.
Not tested.
--
https://code.launchpad.net/~widelands-dev/widelands/bug-1783878_editor_random_map_tribe/+merge/352038
Your team Widelands Developers is subscribed to
After sleeping a night i am not sure if this is the correct approach to fix the
bug ...
--
https://code.launchpad.net/~widelands-dev/widelands/bug-1783878_editor_random_map_tribe/+merge/352038
Your team Widelands Developers is requested to review the proposed merge of
5 matches
Mail list logo
