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.