end_paint
Description:
public void end_paint ()
Indicates that the backing store created by the most recent call to begin_paint_region should be copied onscreen and deleted, leaving the next-most-recent backing store or no backing store at all as the active paint region.
See begin_paint_region for full details.
It is an error to call this function without a matching begin_paint_region first.
Parameters:
this |
a Window |