changeset 10017 | de822cd3df3a |
parent 9998 | 736015b847e3 |
child 10108 | c68cf030eded |
--- a/QTfrontend/ui/page/pageoptions.cpp Tue Jan 21 22:38:13 2014 +0100 +++ b/QTfrontend/ui/page/pageoptions.cpp Tue Jan 21 22:43:06 2014 +0100 @@ -397,7 +397,7 @@ tagsLayout->addWidget(CBHogTag, 0); tagsLayout->addWidget(CBHealthTag, 0); tagsLayout->addWidget(CBTagOpacity, 0); - tagsLayout->addStretch(1); + tagsLayout->addStretch(1); } { // group: frontend