public String[] history() { Iterator<String> history = this.history.getHistory(); List<String> lines = new ArrayList<>(); for (int i = 1; history.hasNext(); i++) { lines.add(String.format("%5d %s", i, history.next())); } return lines.toArray(new String[lines.size()]); } }
public String[] history() { Iterator<String> history = this.history.getHistory(); List<String> lines = new ArrayList<>(); for (int i = 1; history.hasNext(); i++) { lines.add(String.format("%5d %s", i, history.next())); } return lines.toArray(new String[lines.size()]); } }