changeset 1810 | 4059cafd1da7 |
parent 1802 | dd148e2506e2 |
child 1874 | 1b145e099b75 |
--- a/QTfrontend/mapContainer.cpp Thu Feb 19 14:51:57 2009 +0000 +++ b/QTfrontend/mapContainer.cpp Thu Feb 19 14:52:32 2009 +0000 @@ -106,6 +106,7 @@ gbThemes = new IconedGroupBox(this); gbThemes->setTitleTextPadding(60); + gbThemes->setContentTopPadding(6); gbThemes->setTitle(tr("Themes")); //gbThemes->setStyleSheet("padding: 0px"); // doesn't work - stylesheet is set with icon