Type Definition gdk_x11_sys::xlib::XKeyPressedEvent

type XKeyPressedEvent = XKeyEvent;