Changes
User Interface
- The search feature now also allows for replacing text, so the basic search/replace tools in now complete. PRs #51 and #52.
- All icons have been removed from the menu, and the dark theme has received a new set of basic icons. They are not very fancy, so will perhaps be replaced by a proper icon set later. PR #53.