QTfrontend/ui/widget/mapContainer.cpp
changeset 13676 05fde8e30041
parent 13266 df1db657bbb4
child 14416 96624a6cdb93
equal deleted inserted replaced
13675:d3a4cbba060e 13676:05fde8e30041
   152     topLayout->addWidget(btnRandomize, 1);
   152     topLayout->addWidget(btnRandomize, 1);
   153 
   153 
   154     /* Seed button */
   154     /* Seed button */
   155 
   155 
   156     btnSeed = new QPushButton(parentWidget()->parentWidget());
   156     btnSeed = new QPushButton(parentWidget()->parentWidget());
       
   157     //: Refers to the "random seed"; the source of randomness in the game
   157     btnSeed->setText(tr("Seed"));
   158     btnSeed->setText(tr("Seed"));
   158     btnSeed->setWhatsThis(tr("View and edit the seed, the source of randomness in the game"));
   159     btnSeed->setWhatsThis(tr("View and edit the seed, the source of randomness in the game"));
   159     btnSeed->setStyleSheet("padding: 5px;");
   160     btnSeed->setStyleSheet("padding: 5px;");
   160     btnSeed->setFixedHeight(cType->height());
   161     btnSeed->setFixedHeight(cType->height());
   161     connect(btnSeed, SIGNAL(clicked()), this, SLOT(showSeedPrompt()));
   162     connect(btnSeed, SIGNAL(clicked()), this, SLOT(showSeedPrompt()));