Gdk.InputSource.ERASER – gdk-3.0 Reference Manual
ERASER
Description:
ERASER
the device is an eraser.
Typically, this would be the other end of a stylus on a graphics tablet.
2022 vala-language.org