Causes the rectangular area of the receiver specified by
the arguments to be marked as needing to be redrawn.
The next time a paint request is processed, that area of
the receiver will be painted. If the <code>all</code> flag
is <code>true</code>, any children of the receiver which
intersect with the specified area will also paint their
intersecting areas. If the <code>all</code> flag is
<code>false</code>, the children will not be painted.
<p>
Marks the content width of all lines in the specified rectangle
as unknown. Recalculates the content width of all visible lines.
When a <code>LineStyleListener</code> is used a redraw call
is the only notification to the widget that styles have changed
and that the content width may have changed.
</p>
@param x the x coordinate of the area to draw
@param y the y coordinate of the area to draw
@param width the width of the area to draw
@param height the height of the area to draw
@param all <code>true</code> if children should redraw, and <code>false</code> otherwise
@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>
Causes the rectangular area of the receiver specified by the arguments to be marked as needing to be redrawn. The next time a paint request is processed, that area of the receiver will be painted. If the <code>all</code> flag is <code>true</code>, any children of the receiver which intersect with the specified area will also paint their intersecting areas. If the <code>all</code> flag is <code>false</code>, the children will not be painted. <p> Marks the content width of all lines in the specified rectangle as unknown. Recalculates the content width of all visible lines. When a <code>LineStyleListener</code> is used a redraw call is the only notification to the widget that styles have changed and that the content width may have changed. </p>
@param x the x coordinate of the area to draw @param y the y coordinate of the area to draw @param width the width of the area to draw @param height the height of the area to draw @param all <code>true</code> if children should redraw, and <code>false</code> otherwise
@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>
@see Control#update()