Gdk.DeviceToolType.MOUSE – gdk-3.0 Reference Manual
MOUSE
Description:
MOUSE
Tool is a mouse.
2022 vala-language.org