question: private void historyBack ( ) { if ( historyPosition > 0 && historyPosition <= history . size ( ) ) { historyPosition -- ; String text = history . get ( historyPosition ) ; if ( text != null ) { setText ( text ) ; historyTextEdited = false ; } } }
target:  Move back in the history, changing the text.