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