[gtkada] how to invalidate rect?

[Michal Svoboda]

Hi,

I've been trying to force a redraw of a particular portion of a window
(after painting to its pixbuf). Programs written in C use something like
invalidate_rect for this purpose. 

GtkAda documentation mentions this as Gdk.Window.Invalidate_Rect, but
I can't find such function. First off, Window is a part of Gtk, not Gdk,
and even there is no Invalidate thinggy.

Any hints on this?

Regards,
Michal Svoboda