package wayland
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=bf8fd0057242d11f1c265c11cfa5de3c517ec0ad5994eae45e1efe3aac034510
sha512=da639e0903325e124933a03156ffd76188d2dfa2a9a61c5cee808fc8783833b81bb68ab59364ccc7c54a98bafa45d5b5a6c0571179f48178b5667b180a6d5a73
doc/wayland.protocols/Wayland_protocols/Xdg_shell_client/Xdg_popup/class-v3/index.html
Class Xdg_popup.v3
Source
Handler for a proxy with version >= 3.
constraint 'a = [< `V3 ]
method private virtual on_configure : [> `V3 ] t ->
x:int32 ->
y:int32 ->
width:int32 ->
height:int32 ->
unit
Configure the popup surface.
This event asks the popup surface to configure itself given the configuration. The configured state should not be applied immediately. See xdg_surface.configure for details.
The x and y arguments represent the position the popup was placed at given the xdg_positioner rule, relative to the upper left corner of the window geometry of the parent surface.
For version 2 or older, the configure event for an xdg_popup is only ever sent once for the initial configuration. Starting with version 3, it may be sent again if the popup is setup with an xdg_positioner with set_reactive requested, or in response to xdg_popup.reposition requests.
method private virtual on_popup_done : [> `V3 ] t -> unit
Popup interaction is done.
The popup_done event is sent out when a popup is dismissed by the compositor. The client should destroy the xdg_popup object at this point.
method private virtual on_repositioned : [> `V3 ] t -> token:int32 -> unit
Signal the completion of a repositioned request.
The repositioned event is sent as part of a popup configuration sequence, together with xdg_popup.configure and lastly xdg_surface.configure to notify the completion of a reposition request.
The repositioned event is to notify about the completion of a xdg_popup.reposition request. The token argument is the token passed in the xdg_popup.reposition request.
Immediately after this event is emitted, xdg_popup.configure and xdg_surface.configure will be sent with the updated size and position, as well as a new configure serial.
The client should optionally update the content of the popup, but must acknowledge the new popup configuration for the new position to take effect. See xdg_surface.ack_configure for details.