Gdk.EventKey.hardware_keycode – gdk-3.0 Reference Manual
hardware_keycode
Description:
public
uint16
hardware_keycode