Sets the top pixel offset. Do nothing if there is no text set.
<p>
The top pixel offset is the vertical pixel offset of the widget. The
widget is scrolled so that the given pixel position is at the top.
The top index is adjusted to the corresponding top line.
Note: The top pixel is reset to 0 when new text is set in the widget.
</p>
@param pixel new top pixel offset. Must be between 0 and
(getLineCount() - visible lines per page) / getLineHeight()). An out
of range offset will be adjusted accordingly.
@exception SWTException <ul>
<li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed</li>
<li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver</li>
</ul>
@since 2.0
Sets the top pixel offset. Do nothing if there is no text set. <p> The top pixel offset is the vertical pixel offset of the widget. The widget is scrolled so that the given pixel position is at the top. The top index is adjusted to the corresponding top line. Note: The top pixel is reset to 0 when new text is set in the widget. </p>
@param pixel new top pixel offset. Must be between 0 and (getLineCount() - visible lines per page) / getLineHeight()). An out of range offset will be adjusted accordingly. @exception SWTException <ul> <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed</li> <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver</li> </ul> @since 2.0