Gdk.ModifierType.CONTROL_MASK – gdk-3.0 Reference Manual
CONTROL_MASK
Description:
CONTROL_MASK
the Control key.
2022 vala-language.org