Type: KeyResponseGraceDocs
KeyResponse = Procedure<KeyEvent>
type of an action taking a KeyEvent as a parameter