QTfrontend/gamecfgwidget.cpp
changeset 5925 2a9353b800cd
parent 5717 6d513913b7a9
equal deleted inserted replaced
5924:82fc26c53d2a 5925:2a9353b800cd
    47     GBoxOptions->setSizePolicy(QSizePolicy::Minimum, QSizePolicy::Minimum);
    47     GBoxOptions->setSizePolicy(QSizePolicy::Minimum, QSizePolicy::Minimum);
    48     mainLayout.addWidget(GBoxOptions, 1, 0);
    48     mainLayout.addWidget(GBoxOptions, 1, 0);
    49 
    49 
    50     QGridLayout *GBoxOptionsLayout = new QGridLayout(GBoxOptions);
    50     QGridLayout *GBoxOptionsLayout = new QGridLayout(GBoxOptions);
    51 
    51 
    52     QLabel *titleLabel = new QLabel(QLabel::tr("Game Options"), GBoxOptions);
    52     GBoxOptions->setTitle(tr("Game Options"));
    53     titleLabel->setMargin(7);    // TODO: make the text larger/richer!!!!
       
    54     GBoxOptionsLayout->addWidget(titleLabel, 0, 0, 1, 0, Qt::AlignHCenter);
       
    55     GBoxOptionsLayout->addWidget(new QLabel(QLabel::tr("Style"), GBoxOptions), 1, 0);
    53     GBoxOptionsLayout->addWidget(new QLabel(QLabel::tr("Style"), GBoxOptions), 1, 0);
    56 
    54 
    57     Scripts = new QComboBox(GBoxOptions);
    55     Scripts = new QComboBox(GBoxOptions);
    58     GBoxOptionsLayout->addWidget(Scripts, 1, 1);
    56     GBoxOptionsLayout->addWidget(Scripts, 1, 1);
    59 
    57