package wayland
Install
dune-project
Dependency
Authors
Maintainers
Sources
sha256=0f882060a4cfe9424ed397676b8e2aaa931d84610beb29cb2ec9c355d1819625
sha512=847781a3d274da7463ad1a2e46bada3663b8dee08fa576ad787e7ba35cb0f39a3e1a0e6e9729db2f643885a35ae32ece0358c5897d31b68907cad44f1b26af31
doc/wayland.protocols/Wayland_protocols/Viewporter_client/Wp_viewporter/index.html
Module Viewporter_client.Wp_viewporterSource
Surface cropping and scaling.
The global interface exposing surface cropping and scaling capabilities is used to instantiate an interface extension for a wl_surface object. This extended interface will then allow cropping and scaling the surface contents, effectively disconnecting the direct relationship between the buffer and the surface size.
Version 1
val get_viewport :
([< `V1 ] as 'a) t ->
[[ `Wp_viewport ], 'a, [ `Client ]] Wayland.Proxy.Handler.t ->
surface:([ `Wl_surface ], 'b, [ `Client ]) Wayland.Proxy.t ->
([ `Wp_viewport ], 'a, [ `Client ]) Wayland.Proxy.tExtend surface interface for crop and scale.
Instantiate an interface extension for the given wl_surface to crop and scale its content. If the given wl_surface already has a wp_viewport object associated, the viewport_exists protocol error is raised.
Unbind from the cropping and scaling interface.
Informs the server that the client will not be using this protocol object anymore. This does not affect any other objects, wp_viewport objects included.
Handlers
Note: Servers will always want to use v1.