(
module
GtkRangeProps
.
Scale
)