package wayland
Install
dune-project
Dependency
Authors
Maintainers
Sources
sha256=0f882060a4cfe9424ed397676b8e2aaa931d84610beb29cb2ec9c355d1819625
sha512=847781a3d274da7463ad1a2e46bada3663b8dee08fa576ad787e7ba35cb0f39a3e1a0e6e9729db2f643885a35ae32ece0358c5897d31b68907cad44f1b26af31
doc/wayland.protocols/Wayland_protocols/Tablet_v2_server/Zwp_tablet_seat_v2/index.html
Module Tablet_v2_server.Zwp_tablet_seat_v2Source
Controller object for graphic tablet devices of a seat.
An object that provides access to the graphics tablets available on this seat. After binding to this interface, the compositor sends a set of wp_tablet_seat.tablet_added and wp_tablet_seat.tool_added events.
Version 1
val pad_added :
([< `V1 ] as 'a) t ->
[[ `Zwp_tablet_pad_v2 ], 'a, [ `Server ]] Wayland.Proxy.Handler.t ->
([ `Zwp_tablet_pad_v2 ], 'a, [ `Server ]) Wayland.Proxy.tNew pad notification.
This event is sent whenever a new pad is known to the system. Typically, pads are physically attached to tablets and a pad_added event is sent immediately after the wp_tablet_seat.tablet_added. However, some standalone pad devices logically attach to tablets at runtime, and the client must wait for wp_tablet_pad.enter to know the tablet a pad is attached to.
This event only provides the object id of the pad. All further features (buttons, strips, rings) are sent through the wp_tablet_pad interface.
val tool_added :
([< `V1 ] as 'a) t ->
[[ `Zwp_tablet_tool_v2 ], 'a, [ `Server ]] Wayland.Proxy.Handler.t ->
([ `Zwp_tablet_tool_v2 ], 'a, [ `Server ]) Wayland.Proxy.tA new tool has been used with a tablet.
This event is sent whenever a tool that has not previously been used with a tablet comes into use. This event only provides the object id of the tool; any static information about the tool (capabilities, type, etc.) is sent through the wp_tablet_tool interface.
val tablet_added :
([< `V1 ] as 'a) t ->
[[ `Zwp_tablet_v2 ], 'a, [ `Server ]] Wayland.Proxy.Handler.t ->
([ `Zwp_tablet_v2 ], 'a, [ `Server ]) Wayland.Proxy.tNew device notification.
This event is sent whenever a new tablet becomes available on this seat. This event only provides the object id of the tablet, any static information about the tablet (device name, vid/pid, etc.) is sent through the wp_tablet interface.
Handlers
Note: Servers will always want to use v1.