# requests

request destroy {
}

request get_pointer {
    cursor_shape_device: id(wp_cursor_shape_device_v1),
    pointer: id(wl_pointer),
}

request get_tablet_tool_v2 {
    cursor_shape_device: id(wp_cursor_shape_device_v1),
    tablet_tool: id(zwp_tablet_tool_v2),
}