2017-09-23 10:26:01 +02:00
|
|
|
#ifndef WLR_TYPES_WLR_REGION_H
|
|
|
|
#define WLR_TYPES_WLR_REGION_H
|
2017-08-09 16:24:28 +02:00
|
|
|
|
2018-02-13 23:48:46 +01:00
|
|
|
#include <pixman.h>
|
|
|
|
|
2017-08-09 16:24:28 +02:00
|
|
|
struct wl_resource;
|
|
|
|
|
2017-08-14 17:09:56 +02:00
|
|
|
/*
|
2018-04-26 18:51:06 +02:00
|
|
|
* Creates a new region resource with the provided new ID. If `resource_list` is
|
|
|
|
* non-NULL, adds the region's resource to the list.
|
2017-08-14 17:09:56 +02:00
|
|
|
*/
|
2018-04-26 18:51:06 +02:00
|
|
|
struct wl_resource *wlr_region_create(struct wl_client *client,
|
|
|
|
uint32_t version, uint32_t id, struct wl_list *resource_list);
|
2018-02-13 23:48:46 +01:00
|
|
|
|
|
|
|
pixman_region32_t *wlr_region_from_resource(struct wl_resource *resource);
|
2017-08-09 16:24:28 +02:00
|
|
|
|
|
|
|
#endif
|