.shiftDown(keyEvent.isShiftDown())
.build()
);
} else if ( !keyEvent.getText().isEmpty() ) {
eventProcessor.onTerminalEvent(
new CharacterEvent(keyEvent.getCode(), keyEvent.getText().charAt(0))
);
} else {
eventProcessor.onTerminalEvent(
KeyboardEvent.builder(keyEvent.getCode())
.ctrlDown(keyEvent.isControlDown())