Confirmed in r6914.
Indeed it use the same "random" selection after restarting Widelands.
(I wonder whether bug 1089731 which was reported earlier could be related to this.)
Confirmed in r6914.
Indeed it use the same "random" selection after restarting Widelands.
(I wonder whether bug 1089731 which was reported earlier could be related to this.)