changeset 13676 | 05fde8e30041 |
parent 13266 | df1db657bbb4 |
child 14416 | 96624a6cdb93 |
--- 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;");