Gdk.DeviceToolType.PEN – gdk-3.0 Reference Manual
PEN
Description:
PEN
Tool is a standard tablet stylus.
2022 vala-language.org