generic type User_Data_Type (<>) is private; with procedure Destroy (Data : in out User_Data_Type) is null; package Invalidate_Maybe_Recurse_User_Data is
type Gdk_Window_Child_Func is access function (Window : Gdk.Gdk_Window; User_Data : User_Data_Type) return Boolean;
procedure Destroy
( | Data | : in out User_Data_Type) is null; |
procedure Invalidate_Maybe_Recurse
( | Self | : Gdk.Gdk_Window; |
Region | : Cairo.Region.Cairo_Region; | |
Child_Func | : Gdk_Window_Child_Func; | |
User_Data | : User_Data_Type); |