[][src]Constant input_event_codes::KEY_RIGHTCTRL

pub const KEY_RIGHTCTRL: u16 = 97;