The Fl_Counter widget is provided for forms compatibility.
It controls a single floating point value.
Creates a new Fl_Counter widget using the given position,
size, and label string. The default type is FL_NORMAL_COUNTER.
Destroys the valuator.
Set the increment for the double-arrow buttons. The default
value is 1.0.
Sets the type of counter:
- FL_NORMAL_COUNTER - Displays a counter with 4 arrow
- FL_SIMPLE_COUNTER - Displays a counter with only 2 arrow