package oxbow
Install
dune-project
Dependency
Authors
Maintainers
Sources
md5=a637acaa0e19046cd65fff733874eb97
sha512=76230cbecd7510de7a05b5d1f335915ef7b6c4aa557d8dbfd23591606618d2cfa25082d17b93f2f4b53a118d1cbf6a80e4ad51cf0f099b4921fb83d6df0c9801
doc/oxbow.river/River/Layer_shell/River_layer_shell_v1/index.html
Module Layer_shell.River_layer_shell_v1Source
River layer shell global interface.
This global interface should only be advertised to the client if the river_window_manager_v1 global is also advertised. Binding this interface indicates that the window manager supports layer shell.
If the window manager does not bind this interface, the compositor should not allow clients to map layer surfaces. This can be achieved by closing layer surfaces immediately.
Version 1
val get_seat :
([< `V1 ] as 'a) t ->
[[ `River_layer_shell_seat_v1 ], 'a, [ `Client ]] Wayland.Proxy.Handler.t ->
seat:([ `River_seat_v1 ], 'b, [ `Client ]) Wayland.Proxy.t ->
([ `River_layer_shell_seat_v1 ], 'a, [ `Client ]) Wayland.Proxy.tGet layer shell seat state.
It is a protocol error to make this request more than once for a given river_seat_v1 object.
val get_output :
([< `V1 ] as 'a) t ->
[[ `River_layer_shell_output_v1 ], 'a, [ `Client ]] Wayland.Proxy.Handler.t ->
output:([ `River_output_v1 ], 'b, [ `Client ]) Wayland.Proxy.t ->
([ `River_layer_shell_output_v1 ], 'a, [ `Client ]) Wayland.Proxy.tGet layer shell output state.
It is a protocol error to make this request more than once for a given river_output_v1 object.
Destroy the river_layer_shell_v1 object.
This request indicates that the client will no longer use the river_layer_shell_v1 object.
Handlers
Note: Servers will always want to use v1.