Constant webkit2gtk_webextension_sys::WEBKIT_DOM_KEYBOARD_EVENT_KEY_LOCATION_NUMPAD

pub const WEBKIT_DOM_KEYBOARD_EVENT_KEY_LOCATION_NUMPAD: c_int = 3;