GtkWidget::queue_draw_area

void queue_draw_area(int x, int y, int width, int height);