package wayland
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=0ffb53958954f1ed4ef874a122c071a9cf3de77ae341b963eb7b513d8028f3c1
sha512=e391b91b4161ada44339bb97b0acf40a0ef3d3c8f62a114333a61155b70288b31b5904492ebbf187bad957849ff6e1df172d014f46ffc33db7140fa833449f5c
doc/wayland.protocols/Wayland_protocols/Xdg_shell_client/Xdg_wm_base/index.html
Module Xdg_shell_client.Xdg_wm_baseSource
Create desktop-style surfaces.
The xdg_wm_base interface is exposed as a global object enabling clients to turn their wl_surfaces into windows in a desktop environment. It defines the basic functionality needed for clients and the compositor to create windows that can be dragged, resized, maximized, etc, as well as creating transient windows such as popup menus.
Version 1, 2, 3, 4, 5, 6
Respond 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.
val get_xdg_surface :
[< `V1 | `V2 | `V3 | `V4 | `V5 | `V6 ] as 'a t ->
[[ `Xdg_surface ], 'a, [ `Client ]] Wayland.Proxy.Handler.t ->
surface:([ `Wl_surface ], 'b, [ `Client ]) Wayland.Proxy.t ->
([ `Xdg_surface ], 'a, [ `Client ]) Wayland.Proxy.tCreate 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.
val create_positioner :
[< `V1 | `V2 | `V3 | `V4 | `V5 | `V6 ] as 'a t ->
[[ `Xdg_positioner ], 'a, [ `Client ]] Wayland.Proxy.Handler.t ->
([ `Xdg_positioner ], 'a, [ `Client ]) Wayland.Proxy.tCreate 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.
Destroy 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.
Handlers
Note: Servers will always want to use v1.