25 #ifndef WPROPERTYINTWIDGET_H
26 #define WPROPERTYINTWIDGET_H
32 #include <QHBoxLayout>
33 #include <QToolButton>
35 #include "../guiElements/WQtIntervalEdit.h"
36 #include "../guiElements/WScaleLabel.h"
38 #include "WPropertyWidget.h"
54 WPropertyIntWidget( WPropInt property, QGridLayout* propertyGrid, QWidget* parent = 0 );
Special Label that can shrink and expand in a layout.