Gdk.DeviceToolType.ERASER – gdk-3.0 Reference Manual
ERASER
Description:
ERASER
Tool is standard tablet eraser.
2022 vala-language.org