int GTK.Scale()->get_draw_value()
non-zero if the scale's current value is displayed next to the slider.
Extracted from Pike v7.3 release 11 at 2001-11-03.