package wayland
Install
dune-project
Dependency
Authors
Maintainers
Sources
sha256=0f882060a4cfe9424ed397676b8e2aaa931d84610beb29cb2ec9c355d1819625
sha512=847781a3d274da7463ad1a2e46bada3663b8dee08fa576ad787e7ba35cb0f39a3e1a0e6e9729db2f643885a35ae32ece0358c5897d31b68907cad44f1b26af31
doc/wayland.protocols/Wayland_protocols/Xdg_shell_client/Xdg_surface/class-v6/index.html
Class Xdg_surface.v6
Source
Handler for a proxy with version >= 6.
constraint 'a = [< `V6 ]
method private virtual on_configure : [> `V6 ] t -> serial:int32 -> unit
Suggest a surface change.
The configure event marks the end of a configure sequence. A configure sequence is a set of one or more events configuring the state of the xdg_surface, including the final xdg_surface.configure event.
Where applicable, xdg_surface surface roles will during a configure sequence extend this event as a latched state sent as events before the xdg_surface.configure event. Such events should be considered to make up a set of atomically applied configuration states, where the xdg_surface.configure commits the accumulated state.
Clients should arrange their surface for the new states, and then send an ack_configure request with the serial sent in this configure event at some point before committing the new surface.
If the client receives multiple configure events before it can respond to one, it is free to discard all but the last event it received.