Packages
webkit2gtk-web-extension-4.0
WebKit
DOM
KeyboardEvent
alt_graph_key
alt_key
ctrl_key
key_identifier
key_location
meta_key
shift_key
KeyboardEvent
get_alt_graph_key
get_alt_key
get_ctrl_key
get_key_identifier
get_key_location
get_meta_key
get_modifier_state
get_shift_key
init_keyboard_event
key_identifier
Description:
public
string
key_identifier
{
owned
get
; }