Mark an area of a widget as damaged so that it will be redrawn
int PtDamageExtent( PtWidget_t *widget, PhRect_t const *extent );
This function marks the specified widget as damaged and adds extent to the clipping list that will be used the next time the widget engine redraws this widget. The rectangle specified by the PhRect_t structure pointed to by extent is relative to the widget's origin.
All widgets in front of the damaged widget that intersect with extent will be redrawn. If the damaged widget's fill color is transparent, all widgets behind it that intersect extent will be redrawn. In all cases, the clipping will be set to extent.
The widget library takes care of updating widgets whenever resources are modified; you don't normally need to use this function unless you're using a PtRaw widget and want it to redraw and repair part or all of itself.
If you want the widget to be redrawn immediately, call PtFlush() after calling PtDamageExtent().
PhRect_t, PtDamageWidget(), PtFlush()