package wayland

  1. Overview
  2. Docs
package wayland
Legend:
Library
Module
Module type
Parameter
Class
Class type

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, 2, 3, 4

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

Subtract rectangle from region.

Subtract the specified rectangle from the region.

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

Add rectangle to region.

Add the specified rectangle to the region.

val destroy : [< `V1 | `V2 | `V3 | `V4 ] 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.

class +'a v2 : object ... end

Handler for a proxy with version >= 2.

class +'a v3 : object ... end

Handler for a proxy with version >= 3.

class +'a v4 : object ... end

Handler for a proxy with version >= 4.