QTfrontend/ui/widget/gamecfgwidget.cpp
branchwebgl
changeset 8833 c13ebed437cb
parent 8467 dc53b4b66fa0
child 8893 8f92e94d0b32
equal deleted inserted replaced
8450:404ddce27b23 8833:c13ebed437cb
    47     mainLayout.setMargin(0);
    47     mainLayout.setMargin(0);
    48     setMinimumHeight(310);
    48     setMinimumHeight(310);
    49     setMaximumHeight(447);
    49     setMaximumHeight(447);
    50     setMinimumWidth(470);
    50     setMinimumWidth(470);
    51     setSizePolicy(QSizePolicy::Expanding, QSizePolicy::Expanding);
    51     setSizePolicy(QSizePolicy::Expanding, QSizePolicy::Expanding);
       
    52     m_master = true;
    52 
    53 
    53     // Easy containers for the map/game options in either stacked or tabbed mode
    54     // Easy containers for the map/game options in either stacked or tabbed mode
    54 
    55 
    55     mapContainerFree = new QWidget();
    56     mapContainerFree = new QWidget();
    56     mapContainerTabbed = new QWidget();
    57     mapContainerTabbed = new QWidget();