update_area


Description:

public void update_area (int x, int y, int width, int height)

Forces an update of the given this so that it is refreshed with the contents of the pixmap that was given to TexturePixmapX11.

Parameters:

this

A TexturePixmapX11 instance

x

x coordinate of the area to update

y

y coordinate of the area to update

width

width of the area to update

height

height of the area to update