changeset 1248 | 8c77eec56bf4 |
parent 1192 | 63b7961f68de |
child 1810 | 4059cafd1da7 |
--- a/QTfrontend/igbox.h Sat Sep 06 12:35:34 2008 +0000 +++ b/QTfrontend/igbox.h Mon Sep 08 18:08:47 2008 +0000 @@ -30,11 +30,13 @@ IconedGroupBox(QWidget * parent = 0); void setIcon(const QIcon & icon); + void setTitleTextPadding(int px); protected: virtual void paintEvent(QPaintEvent * event); private: QIcon icon; + int padding; }; #endif // _IGBOX_H