LineGetter.saveSettingsAndHistoryToFile

You may override this to do nothing. If so, you should also override appendHistoryToFile if you ever change historyCommitMode.

You should call historyPath to get the proper filename.