- 17 Sep, 2017 8 commits
-
-
Benno Schulenberg authored
-
Benno Schulenberg authored
-
Benno Schulenberg authored
-
Benno Schulenberg authored
-
Benno Schulenberg authored
When history has changed, not all three listst can be empty.
-
Benno Schulenberg authored
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.
-
Benno Schulenberg authored
-
Benno Schulenberg authored
-