Gdk.EventKey.hardware_keycode – gdk-3.0 Reference Manual
hardware_keycode
Description:
public
uint16
hardware_keycode
2022 vala-language.org