Widget.queueDrawArea
void queueDrawArea(int x, int y, int width, int height)Convenience function that calls [gtk.widget.Widget.queueDrawRegion] on the region created from the given coordinates.
The region here is specified in widget coordinates. Widget coordinates are a bit odd; for historical reasons, they are defined as widget->window coordinates for widgets that return true for [gtk.widget.Widget.getHasWindow], and are relative to widget->allocation.x, widget->allocation.y otherwise.
width or height may be 0, in this case this function does nothing. Negative values for width and height are not allowed.
Parameters
x | x coordinate of upper-left corner of rectangle to redraw |
y | y coordinate of upper-left corner of rectangle to redraw |
width | width of region to draw |
height | height of region to draw |