package oxbow
Install
dune-project
Dependency
Authors
Maintainers
Sources
md5=a182e6d368a65e6752771e41e651713f
sha512=020d2c7f9f4e06966ca56695e24eb0b41dd12500aa65d2cd9b56e03068bbb6ea7770de0a33c04f0d054bd474bee8c2b36bb46af86266c9823490e1bd0810c027
doc/oxbow.river/River/Obj/Layer_shell/C/River_layer_shell_v1/index.html
Module C.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.