package wayland

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Handler for a proxy with version >= 3.

constraint 'a = [< `V3 ]
method private virtual on_data_offer : [> `V3 ] t -> ([ `Wl_data_offer ], 'b, [ `Client ]) Wayland__.Proxy.t -> unit

Introduce a new wl_data_offer.

The data_offer event introduces a new wl_data_offer object, which will subsequently be used in either the data_device.enter event (for drag-and-drop) or the data_device.selection event (for selections). Immediately following the data_device_data_offer event, the new data_offer object will send out data_offer.offer events to describe the mime types it offers.

method private virtual on_enter : [> `V3 ] t -> serial:int32 -> surface: ([ `Wl_surface ], [> {Imports}1.Wl_surface.versions ], [ `Client ]) Wayland__.Proxy.t -> x:Wayland__.Fixed.t -> y:Wayland__.Fixed.t -> ([ `Wl_data_offer ], [> {Imports}1.Wl_data_offer.versions ], [ `Client ]) Wayland__.Proxy.t option -> unit

Initiate drag-and-drop session.

This event is sent when an active drag-and-drop pointer enters a surface owned by the client. The position of the pointer at enter time is provided by the x and y arguments, in surface-local coordinates.

method private virtual on_leave : [> `V3 ] t -> unit

End drag-and-drop session.

This event is sent when the drag-and-drop pointer leaves the surface and the session ends. The client must destroy the wl_data_offer introduced at enter time at this point.

method private virtual on_motion : [> `V3 ] t -> time:int32 -> x:Wayland__.Fixed.t -> y:Wayland__.Fixed.t -> unit

Drag-and-drop session motion.

This event is sent when the drag-and-drop pointer moves within the currently focused surface. The new position of the pointer is provided by the x and y arguments, in surface-local coordinates.

method private virtual on_drop : [> `V3 ] t -> unit

End drag-and-drop session successfully.

The event is sent when a drag-and-drop operation is ended because the implicit grab is removed.

The drag-and-drop destination is expected to honor the last action received through wl_data_offer.action, if the resulting action is "copy" or "move", the destination can still perform wl_data_offer.receive requests, and is expected to end all transfers with a wl_data_offer.finish request.

If the resulting action is "ask", the action will not be considered final. The drag-and-drop destination is expected to perform one last wl_data_offer.set_actions request, or wl_data_offer.destroy in order to cancel the operation.

method private virtual on_selection : [> `V3 ] t -> ([ `Wl_data_offer ], [> {Imports}1.Wl_data_offer.versions ], [ `Client ]) Wayland__.Proxy.t option -> unit

Advertise new selection.

The selection event is sent out to notify the client of a new wl_data_offer for the selection for this device. The data_device.data_offer and the data_offer.offer events are sent out immediately before this event to introduce the data offer object. The selection event is sent to a client immediately before receiving keyboard focus and when a new selection is set while the client has keyboard focus. The data_offer is valid until a new data_offer or NULL is received or until the client loses keyboard focus. The client must destroy the previous selection data_offer, if any, upon receiving this event.

method min_version : int32