private void addToInputHistory(String line) {
// Add this line to the application input history.
if (isHistoryEnabled() && !line.equals(lastInputLine)) {
InputHistory history = applicationHistory.get();
if (history != null) {
history.addLine(line);
lastInputLine = line;
}
}
}