package wayland
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=8821b5ce4d6d03b81d186b7bf1cdec422d0d37d161dc7b023f8732ed8de9834b
sha512=d948ef44fefd3aed4c3a89cc2bea82e3e7ef6ef8584516645e763c2e5dbc31683c2f45fb002a1a22072ad7221972ad28f032973e9d40ae470b425c460c51ecdf
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.