3 Commits

Author	SHA1	Message	Date
Oliver Brakmann	bf9a63ff95	Rename widgets	2014-09-06 11:18:47 +02:00
Oliver Brakmann	c61516c55e	Add stats button to end game dialog ... Also adds the statistics window to TD. There is no button for it in observer mode, though, but it is available from the end game dialog. Fixes #6312.	2014-09-06 11:18:47 +02:00
Oliver Brakmann	819eb64011	Add end game dialog	2014-08-08 13:35:49 +02:00