Skip to content

Save the state of the "highlight all" button in the search bar

Closes #39 (closed).

I added in a separate commit a minor adaptation regarding the entry error, some cleanup and cosmetic changes, and a minor change regarding also the entry error (case of the last occurrence when using the replace dialog without "wrap around").

Tell me if you prefer one commit with two authors.

Merge request reports