> GtkAda documentation mentions this as Gdk.Window.Invalidate_Rect, but Right, that's the correct function. > I can't find such function. First off, Window is a part of Gtk, not Gdk, There is a package called Gdk.Window, which contains a procedure Invalidate_Rect. Arno