Print tool type and serial, if found.
included in these events, in addition to motion ones.
the same than the current slave device.
maintain its own cursor/positioning accounting.
This will enable multiple "pointers" to have separate data here.
will have a separate cursor for all purposes.
as the base to emulate these.
taken care of too, left for a next commit.
added by the driver itself. Bailing out is due there.
GDK_SOURCE_ERASER GdkInputSource of a wayland tablet).
the event will just have a NULL pointer there.
updating of the internal device accounting.
setter should be most notably used by backends.
tracker per-seat, and may be shared across devices.
as the tool will be unset when the pen moves too far.
set on non-master devices, and are owned by these.
So it will play nicely with gedit color combinations.
It has been superseded by GdkSeat.
label_box can be larger than that of the label_sizing_box.