Saving history and favorites after every change instead of relying on the timer

[skafiend]

Hi, it would be great if goldendict-ng, instead of relying on the timer, would update history and favorites every time any change was made. Adding some console argument to force it update the files would work too. I can update the files manually by using a bash script, but goldendict doesn't reread them until the restart.