Gdk.DeviceToolType.LENS – gdk-3.0 Reference Manual
LENS
Description:
LENS
Tool is a lens cursor.
2022 vala-language.org