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