package wayland
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=0ffb53958954f1ed4ef874a122c071a9cf3de77ae341b963eb7b513d8028f3c1
sha512=e391b91b4161ada44339bb97b0acf40a0ef3d3c8f62a114333a61155b70288b31b5904492ebbf187bad957849ff6e1df172d014f46ffc33db7140fa833449f5c
doc/wayland.protocols/Wayland_protocols/Xdg_shell_server/Xdg_wm_base/class-v5/index.html
Class Xdg_wm_base.v5Source
Handler for a proxy with version >= 5.
constraint 'a = [< `V5 | `V6 ]method private virtual on_destroy : [> `V5 | `V6 ] t -> unitDestroy xdg_wm_base.
Destroy this xdg_wm_base object.
Destroying a bound xdg_wm_base object while there are surfaces still alive created by this xdg_wm_base object instance is illegal and will result in a defunct_surfaces error.
method private virtual on_create_positioner : [> `V5 | `V6 ] t ->
([ `Xdg_positioner ], 'a, [ `Server ]) Proxy.t ->
unitCreate a positioner object.
Create a positioner object. A positioner object is used to position surfaces relative to some parent surface. See the interface description and xdg_surface.get_popup for details.
method private virtual on_get_xdg_surface : [> `V5 | `V6 ] t ->
([ `Xdg_surface ], 'a, [ `Server ]) Proxy.t ->
surface:
([ `Wl_surface ], [> Imports.Wl_surface.versions ], [ `Server ]) Proxy.t ->
unitCreate a shell surface from a surface.
This creates an xdg_surface for the given surface. While xdg_surface itself is not a role, the corresponding surface may only be assigned a role extending xdg_surface, such as xdg_toplevel or xdg_popup. It is illegal to create an xdg_surface for a wl_surface which already has an assigned role and this will result in a role error.
This creates an xdg_surface for the given surface. An xdg_surface is used as basis to define a role to a given surface, such as xdg_toplevel or xdg_popup. It also manages functionality shared between xdg_surface based surface roles.
See the documentation of xdg_surface for more details about what an xdg_surface is and how it is used.
method private virtual on_pong : [> `V5 | `V6 ] t -> serial:int32 -> unitRespond to a ping event.
A client must respond to a ping event with a pong request or the client may be deemed unresponsive. See xdg_wm_base.ping and xdg_wm_base.error.unresponsive.