History is normally only committed to the file when the program is terminating, but if you are losing data due to crashes, you might want to change this to historyCommitMode = HistoryCommitMode.afterEachLine;.
The history file is written to disk only at disposal time by calling saveSettingsAndHistoryToFile
The history file is written to disk after each line of input by calling appendHistoryToFile
See Implementation
Added January 26, 2021 (version 9.2)
History is normally only committed to the file when the program is terminating, but if you are losing data due to crashes, you might want to change this to historyCommitMode = HistoryCommitMode.afterEachLine;.