|Portability||portable (depends on GHC)|
A vertical slider widget for selecting a value from a range
The position to show the current value, and the number of decimal places
shown can be set using the parent
Scale class's functions.
Creates a new
|-> IO VScale|
Creates a new vertical scale widget that lets the user input a number
max) with the increment
step must be nonzero; it's the distance the slider moves when
using the arrow keys to adjust the scale value.
Note that the way in which the precision is derived works best if
is a power of ten. If the resulting precision is not suitable for your
Graphics.UI.Gtk.Abstract.Scale.scaleSetDigits to correct it.