package wayland
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=0ffb53958954f1ed4ef874a122c071a9cf3de77ae341b963eb7b513d8028f3c1
sha512=e391b91b4161ada44339bb97b0acf40a0ef3d3c8f62a114333a61155b70288b31b5904492ebbf187bad957849ff6e1df172d014f46ffc33db7140fa833449f5c
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.