15.07.19 Added: Directory history thinning: wincmd.ini [Configuration]
HistoryThinning=1, HistoryThinningDelta=0 enables thinning only when user starts
some operation in the directory, not by timeout (32/64)
15.07.19 Added: Directory history thinning: wincmd.ini [Configuration]
HistoryThinning=1/0 turns thinning on and off without changing the value of the timeout (32/64)
Is there a "Delta" missing? Or is that correct that way around using both settings options together?
Is
HistoryThinning =1, HistoryThinningDelta=0
correct in combination, ( <<< EDIT: yes, correct, see answer in post below )
or should it be read like
HistoryThinningDelta=1, HistoryThinningDelta=0
for enabling/disabling?
EDIT:
Me think now history.txt is correct and a combination of options, related to:
HistoryThinningDelta=5000 defaults to 5 seconds the user must stay in a directory to keep it in the history