package wayland
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=8821b5ce4d6d03b81d186b7bf1cdec422d0d37d161dc7b023f8732ed8de9834b
sha512=d948ef44fefd3aed4c3a89cc2bea82e3e7ef6ef8584516645e763c2e5dbc31683c2f45fb002a1a22072ad7221972ad28f032973e9d40ae470b425c460c51ecdf
doc/wayland.protocols/Wayland_protocols/Xdg_shell_client/Xdg_surface/class-v3/index.html
Class Xdg_surface.v3
Source
Handler for a proxy with version >= 3.
constraint 'a = [< `V3 | `V4 | `V5 | `V6 ]
method private virtual on_configure : [> `V3 | `V4 | `V5 | `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.