set_scale_height

void set_scale_height (
　　Widget w - widget id
　　XtPointer sw - scale widget client data
　　XtPointer call_data - data from widget class
)

w

widget id

sw

scale widget client data

call_data

data from widget class