When the PushButton is activated, it retrieves some resource values from the vertical ScrollBar of the Text widget's
ScrolledWindow. These values are output to stdout. The following output shows some possible values for the different
resources:
increment=1, max=12, min=0, page=9, slider=10, value=0
increment=1, max=12, min=0, page=9, slider=10, value=1
increment=1, max=25, min=0, page=9, slider=10, value=6
increment=1, max=25, min=0, page=9, slider=10, value=12
increment=1, max=25, min=0, page=9, slider=10, value=15
The value for XmNincrement is always 1, which indicates that the incremental arrow buttons scroll the text by one
unit in either direction. The value for XmNmaximum changes according to the number of lines of text that there are in
the window. The value of XmN-minimum is always 0 because this object can have as few as zero lines of text.
The values for XmNsliderSize and XmNpageIncrement are 10 and 9, respectively. The values never changed
because the ScrolledWindow was not resized. If it had been, the slider size and page increment values would have
changed to match the new number of lines displayed in the window. The page increment is one less than the number
of lines that can be displayed in the clip window, so that if the user scrolls by a page, the new view contains at least
one of the previously−viewed lines for reference.
The value for XmNvalue varies depending on the line that is displayed at the top of the clip window. If the beginning
of the text is displayed, XmNvalue ...