Release date: 2017-07-05
Release summary: This one is a clean up release – I deleted some old and now unused code and corrected some typos. Nothing spectacular … And I adjusted the styling of the settings dialogue to fit to this website’s look.
- reworked style of settings dialogue
- deleted unused code
- reintroduced “clear all fields” button to settings dialogue