| commit | fb9c180baea2dda44f925c2a73a5da3e71c3ca8f | [log] [tgz] |
|---|---|---|
| author | Benno Schulenberg <bensberg@telfort.nl> | Sun Sep 17 12:21:19 2017 +0200 |
| committer | Benno Schulenberg <bensberg@telfort.nl> | Sun Sep 17 12:47:11 2017 +0200 |
| tree | 8addac2fe436e474a7b87eee5537de32160dd82c | |
| parent | c10a1e54dc77b28ff232337610aff1c0c4b458de [diff] |
history: after loading the lists, mark them as unchanged Populating the search, replace, and execute lists makes use of the function update_history() which sets history_changed to TRUE, which meant that the search_history file would always get written even if nothing had changed.