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_Input_Source is (Source_Mouse, Source_Pen, Source_Eraser, Source_Cursor, Source_Keyboard, Source_Touchscreen, Source_Touchpad);
type Gdk_Grab_Status is (Grab_Success, -- successfully grabbed Grab_Already_Grabbed, -- resource actively grabbed by another client Grab_Invalid_Time, -- resource grabbed more recently than the -- specified time Grab_Not_Viewable, -- grab window or confine_to_window are not -- viewable Grab_Frozen);
type Gdk_Grab_Ownership is (Ownership_None, Ownership_Window, Ownership_Application);
type Gdk_Modifier_Type is new Guint;
type Gdk_Modifier_Intent is (Primary_Accelerator, Context_Menu, Extend_Selection, Modify_Selection, No_Text_Input, Shift_Group);
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;
Super_Mask : constant Gdk_Modifier_Type;
Hyper_Mask : constant Gdk_Modifier_Type;
Meta_Mask : constant Gdk_Modifier_Type;
Release_Mask : constant Gdk_Modifier_Type;
Modifier_Mask : constant Gdk_Modifier_Type;
function Primary_Mod_Mask return Gdk_Modifier_Type;