4 #include <QDoubleSpinBox>
7 class ZoomWidget : public QWidget
12 ZoomWidget(QWidget *parent = 0);
14 void setRange(double min, double max);
15 double minimum() const;
16 double maximum() const;
17 //! set value used when incrementing the spinner
18 void setSingleStep(double val);
19 //! get the value used to incrementing the spinner
20 double singleStep() const;
23 void setValue(double);
26 //! the current number of base pairs needed for a window of conservation
27 void valueChanged(double);
33 const double max_zoom_size;