--- a/QTfrontend/ui/widget/seedprompt.cpp	Tue Aug 21 17:56:17 2018 +0200
+++ b/QTfrontend/ui/widget/seedprompt.cpp	Tue Aug 21 18:31:00 2018 +0200
@@ -31,6 +31,7 @@
     setModal(true);
     setWindowFlags(Qt::Sheet);
     setWindowModality(Qt::WindowModal);
+    //: Refers to the "random seed"; the source of randomness in the game
     setWindowTitle(tr("Seed"));
     setMinimumSize(360, 160);
     resize(360, 160);