diff -r d3a4cbba060e -r 05fde8e30041 QTfrontend/ui/widget/mapContainer.cpp
--- a/QTfrontend/ui/widget/mapContainer.cpp	Tue Aug 21 17:56:17 2018 +0200
+++ b/QTfrontend/ui/widget/mapContainer.cpp	Tue Aug 21 18:31:00 2018 +0200
@@ -154,6 +154,7 @@
     /* Seed button */
 
     btnSeed = new QPushButton(parentWidget()->parentWidget());
+    //: Refers to the "random seed"; the source of randomness in the game
     btnSeed->setText(tr("Seed"));
     btnSeed->setWhatsThis(tr("View and edit the seed, the source of randomness in the game"));
     btnSeed->setStyleSheet("padding: 5px;");