package wayland
Install
dune-project
Dependency
Authors
Maintainers
Sources
sha256=10627a94f4cef97147991528fcd246f8f27ccbf3026eafdece995b53ee9468a0
sha512=8e319dc236d04cc9084bf81782497899dca12a392d649a2ac7bd1d5edc1101ebe2bc266a033e23ab9ed46a8b692018bc47005036d10872f7825f4aa4009ab825
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.