Gdk.EventMask.BUTTON_MOTION_MASK – gdk-3.0 Reference Manual
BUTTON_MOTION_MASK
Description:
BUTTON_MOTION_MASK
receive pointer motion events while any button is pressed
2022 vala-language.org