QTfrontend/ui_hwform.cpp
changeset 8613 82c649dfc7c3
parent 8385 9e8924ff9813
child 8635 c1c6b815691e
equal deleted inserted replaced
8612:f7c194533d45 8613:82c649dfc7c3
    52     SetupFonts();
    52     SetupFonts();
    53 
    53 
    54     HWForm->setObjectName(QString::fromUtf8("HWForm"));
    54     HWForm->setObjectName(QString::fromUtf8("HWForm"));
    55     HWForm->resize(QSize(640, 480).expandedTo(HWForm->minimumSizeHint()));
    55     HWForm->resize(QSize(640, 480).expandedTo(HWForm->minimumSizeHint()));
    56     HWForm->setMinimumSize(QSize(720, 450));
    56     HWForm->setMinimumSize(QSize(720, 450));
    57     HWForm->setWindowTitle(QMainWindow::tr("Hedgewars %1").arg(*cVersionString));
    57     QString suffix = isDevBuild ?
       
    58         QMainWindow::tr("-r%1 (%2)").arg(*cRevisionString, *cHashString) : QString("");
       
    59     QString title = QMainWindow::tr("Hedgewars %1").arg(*cVersionString) + suffix;
       
    60     HWForm->setWindowTitle(title);
    58     centralWidget = new QWidget(HWForm);
    61     centralWidget = new QWidget(HWForm);
    59     centralWidget->setObjectName(QString::fromUtf8("centralWidget"));
    62     centralWidget->setObjectName(QString::fromUtf8("centralWidget"));
    60 
    63 
    61     SetupPages(centralWidget);
    64     SetupPages(centralWidget);
    62 
    65