}
@Override
public boolean onTerminalEvent(TerminalEvent event) {
if ( event instanceof KeyboardEvent ) {
KeyboardEvent kbdEvent = (KeyboardEvent)event;
if ( kbdEvent.getKeyCode() == KeyCode.BACK_SPACE ) {
terminalState.deleteCharBeforeCursor();
} else if ( kbdEvent.getKeyCode() == KeyCode.DELETE ) {
terminalState.deleteCharAtCursor();
}
}
return true;
}