package Extension_Mode_Properties is new Generic_Internal_Discrete_Property (Gdk_Extension_Mode);
type Gdk_Points_Array is array (Positive range <>) of Gdk_Point;
type Gdk_Segments_Array is array (Positive range <>) of Gdk_Segment;
type Gdk_Atom is new C_Proxy;
type Gdk_Atom_Array is array (Natural range <>) of Gdk_Atom;
type Gdk_Axis_Use is (Axis_Ignore, Axis_X, Axis_Y, Axis_Pressure, Axis_X_Tilt, Axis_Y_Tilt, Axis_Last);
type Gdk_Extension_Mode is (Extension_Events_None, Extension_Events_All, Extension_Events_Cursor);
type Gdk_IC_Attributes_Type is new Guint;
type Gdk_IM_Style is new Guint;
type Gdk_Modifier_Type is new Guint;
type Property_Gdk_Extension_Mode is new Extension_Mode_Properties.Property;
Current_Time : constant Guint32 := 0;
Ic_Style : constant Gdk_IC_Attributes_Type;
Ic_Client_Window : constant Gdk_IC_Attributes_Type;
Ic_Focus_Window : constant Gdk_IC_Attributes_Type;
Ic_Filter_Events : constant Gdk_IC_Attributes_Type;
Ic_Spot_Location : constant Gdk_IC_Attributes_Type;
Ic_Line_Spacing : constant Gdk_IC_Attributes_Type;
Ic_Cursor : constant Gdk_IC_Attributes_Type;
Ic_Preedit_Fontset : constant Gdk_IC_Attributes_Type;
Ic_Preedit_Area : constant Gdk_IC_Attributes_Type;
Ic_Preedit_Area_Needed : constant Gdk_IC_Attributes_Type;
Ic_Preedit_Foreground : constant Gdk_IC_Attributes_Type;
Ic_Preedit_Background : constant Gdk_IC_Attributes_Type;
Ic_Preedit_Pixmap : constant Gdk_IC_Attributes_Type;
Ic_Preedit_Colormap : constant Gdk_IC_Attributes_Type;
Ic_Status_Fontset : constant Gdk_IC_Attributes_Type;
Ic_Status_Area : constant Gdk_IC_Attributes_Type;
Ic_Status_Area_Needed : constant Gdk_IC_Attributes_Type;
Ic_Status_Foreground : constant Gdk_IC_Attributes_Type;
Ic_Status_Background : constant Gdk_IC_Attributes_Type;
Ic_Status_Pixmap : constant Gdk_IC_Attributes_Type;
Ic_Status_Colormap : constant Gdk_IC_Attributes_Type;
Ic_All_Req : constant Gdk_IC_Attributes_Type;
Ic_Preedit_Area_Req : constant Gdk_IC_Attributes_Type;
Ic_Preedit_Position_Req : constant Gdk_IC_Attributes_Type;
Ic_Status_Area_Req : constant Gdk_IC_Attributes_Type;
Im_Preedit_Area : constant Gdk_IM_Style;
Im_Preedit_Callbacks : constant Gdk_IM_Style;
Im_Preedit_Position : constant Gdk_IM_Style;
Im_Preedit_Nothing : constant Gdk_IM_Style;
Im_Preedit_None : constant Gdk_IM_Style;
Im_Preedit_Mask : constant Gdk_IM_Style;
Im_Status_Area : constant Gdk_IM_Style;
Im_Status_Callbacks : constant Gdk_IM_Style;
Im_Status_Nothing : constant Gdk_IM_Style;
Im_Status_None : constant Gdk_IM_Style;
Im_Status_Mask : constant Gdk_IM_Style;
Shift_Mask : constant Gdk_Modifier_Type;
Lock_Mask : constant Gdk_Modifier_Type;
Control_Mask : constant Gdk_Modifier_Type;
Mod1_Mask : constant Gdk_Modifier_Type;
Mod2_Mask : constant Gdk_Modifier_Type;
Mod3_Mask : constant Gdk_Modifier_Type;
Mod4_Mask : constant Gdk_Modifier_Type;
Mod5_Mask : constant Gdk_Modifier_Type;
Button1_Mask : constant Gdk_Modifier_Type;
Button2_Mask : constant Gdk_Modifier_Type;
Button3_Mask : constant Gdk_Modifier_Type;
Button4_Mask : constant Gdk_Modifier_Type;
Button5_Mask : constant Gdk_Modifier_Type;
Release_Mask : constant Gdk_Modifier_Type;
Modifier_Mask : constant Gdk_Modifier_Type;
Meta_Mask : constant Gdk_Modifier_Type;
Default_Modifier_Mask : constant Gdk_Modifier_Type;