private void historyBack(){
  if (historyPosition > 0 && historyPosition <= history.size()) {
    historyPosition--;
    String text=history.get(historyPosition);
    if (text != null) {
      setText(text);
      historyTextEdited=false;
    }
  }
}

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