Gdk.EventType.DOUBLE_BUTTON_PRESS – gdk-3.0 Reference Manual
DOUBLE_BUTTON_PRESS
Description:
DOUBLE_BUTTON_PRESS
alias for
gdk_2button_press
, added in 3.6.
2022 vala-language.org