QTfrontend/pages.h
changeset 1168 f3c68684ef88
parent 1162 91bf5e3e558d
child 1192 63b7961f68de
equal deleted inserted replaced
1167:2aa93ec4718b 1168:f3c68684ef88
    65       butt->setFont(*font14);
    65       butt->setFont(*font14);
    66       butt->setText(btname);
    66       butt->setText(btname);
    67     } else {
    67     } else {
    68       const QIcon& lp=QIcon(btname);
    68       const QIcon& lp=QIcon(btname);
    69       QSize sz = lp.actualSize(QSize(65535, 65535));
    69       QSize sz = lp.actualSize(QSize(65535, 65535));
       
    70       if (btname == ":/res/Save.png")
       
    71       {
       
    72       	butt->setStyleSheet("QPushButton{margin: 12px 0px 12px 0px;}");
       
    73       }
    70       butt->setIcon(lp);
    74       butt->setIcon(lp);
    71       butt->setFixedSize(sz);
    75       butt->setFixedSize(sz);
    72       butt->setIconSize(sz);
    76       butt->setIconSize(sz);
    73       butt->setFlat(true);
    77       butt->setFlat(true);
    74       butt->setSizePolicy(QSizePolicy::Fixed, QSizePolicy::Fixed);
    78       butt->setSizePolicy(QSizePolicy::Fixed, QSizePolicy::Fixed);