equal
deleted
inserted
replaced
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(); |