Module Wayland_client.Wl_region

Region interface.

A region object describes an area.

Region objects are used to describe the opaque and input regions of a surface.

type 'v t = ([ `Wl_region ], 'v, [ `Client ]) Proxy.t

Version 1

val subtract : [< `V1 ] t -> x:int32 -> y:int32 -> width:int32 -> height:int32 -> unit

Subtract rectangle from region.

Subtract the specified rectangle from the region.

val add : [< `V1 ] t -> x:int32 -> y:int32 -> width:int32 -> height:int32 -> unit

Add rectangle to region.

Add the specified rectangle to the region.

val destroy : [< `V1 ] t -> unit

Destroy region.

Destroy the region. This will invalidate the object ID.

Handlers

Note: Servers will always want to use v1.

class +'a v1 : object ... end

Handler for a proxy with version >= 1.