BTW time isn't completly superfluous as it shows the player end time - normally this is the total game time for the winner and last opponent but it is different for a player who lost early (i.e. lost it's last headquarters) >From my imagination this might be interesting in multiplayer games, at least >it isn't the same information as in the bottom line.
I tested this with this branch. -- https://code.launchpad.net/~widelands-dev/widelands/bug1790456_game_summary/+merge/355895 Your team Widelands Developers is requested to review the proposed merge of lp:~widelands-dev/widelands/bug1790456_game_summary into lp:widelands. _______________________________________________ Mailing list: https://launchpad.net/~widelands-dev Post to : [email protected] Unsubscribe : https://launchpad.net/~widelands-dev More help : https://help.launchpad.net/ListHelp

