filter_key_event

Description:

public abstract KeyEvent? filter_key_event (KeyEvent key)

Convert a key event to another.

key	a key event

a KeyEvent or `null` if the result cannot be fetched immediately