Function LineGetter.saveSettingsAndHistoryToFile
You may override this to do nothing. If so, you should also override [appendHistoryToFile] if you ever change [historyCommitMode].
void saveSettingsAndHistoryToFile();
You should call [historyPath] to get the proper filename.