equal
deleted
inserted
replaced
29 SeedPrompt::SeedPrompt(QWidget* parent, const QString & seed, bool editable) : QDialog(parent) |
29 SeedPrompt::SeedPrompt(QWidget* parent, const QString & seed, bool editable) : QDialog(parent) |
30 { |
30 { |
31 setModal(true); |
31 setModal(true); |
32 setWindowFlags(Qt::Sheet); |
32 setWindowFlags(Qt::Sheet); |
33 setWindowModality(Qt::WindowModal); |
33 setWindowModality(Qt::WindowModal); |
|
34 //: Refers to the "random seed"; the source of randomness in the game |
34 setWindowTitle(tr("Seed")); |
35 setWindowTitle(tr("Seed")); |
35 setMinimumSize(360, 160); |
36 setMinimumSize(360, 160); |
36 resize(360, 160); |
37 resize(360, 160); |
37 setSizePolicy(QSizePolicy::Minimum, QSizePolicy::Minimum); |
38 setSizePolicy(QSizePolicy::Minimum, QSizePolicy::Minimum); |
38 |
39 |