Gdk.Event.Crossing_Event

Description

An event caused by a pointing device moving between surfaces.

Gdk_Crossing_Event

type Gdk_Crossing_Event is new Gdk_Event with null record;

Gdk_Crossing_Mode

type Gdk_Crossing_Mode is (
   Normal,
   Grab,
   Ungrab,
   Gtk_Grab,
   Gtk_Ungrab,
   State_Changed,
   Touch_Begin,
   Touch_End,
   Device_Switch);

Specifies the crossing mode for enter and leave events.

Enumeration Literal

Normal

Grab

Ungrab

Gtk_Grab

Gtk_Ungrab

State_Changed

Touch_Begin

Touch_End

Device_Switch

Gdk_Crossing_Mode_Properties

package Gdk_Crossing_Mode_Properties is
   new Generic_Internal_Discrete_Property (Gdk_Crossing_Mode);

Gdk_Notify_Type

type Gdk_Notify_Type is (
   Ancestor,
   Virtual,
   Inferior,
   Nonlinear,
   Nonlinear_Virtual,
   Unknown);

Specifies the kind of crossing for enter and leave events.

See the X11 protocol specification of LeaveNotify for full details of crossing event generation.

Enumeration Literal

Ancestor

Virtual

Inferior

Nonlinear

Nonlinear_Virtual

Unknown

Gdk_Notify_Type_Properties

package Gdk_Notify_Type_Properties is
   new Generic_Internal_Discrete_Property (Gdk_Notify_Type);

Get_Detail

function Get_Detail (Self : Gdk.Event.Gdk_Event) return Gdk_Notify_Type

Extracts the notify detail from a crossing event.

Parameters

Self

Return Value

the notify detail of Event

Get_Focus

function Get_Focus (Self : Gdk.Event.Gdk_Event) return Boolean

Checks if the Event surface is the focus surface.

Parameters

Self

Return Value

True if the surface is the focus surface

Get_Mode

function Get_Mode (Self : Gdk.Event.Gdk_Event) return Gdk_Crossing_Mode

Extracts the crossing mode from a crossing event.

Parameters

Self

Return Value

the mode of Event

Get_Type

function Get_Type return Glib.GType

Return Value

Property_Gdk_Crossing_Mode

type Property_Gdk_Crossing_Mode is new Gdk_Crossing_Mode_Properties.Property;

Property_Gdk_Notify_Type

type Property_Gdk_Notify_Type is new Gdk_Notify_Type_Properties.Property;