Version 1.11

• Before this release it wasn't clear which of the search results when searching the text was selected. This is now fixed.
• It is now clearer which search result you have selected in the search results menu in the sidebar.
• Other minor cosmetic changes.

This release contains the changes proposed in #45. Thank you very much to @saegl5!