v1.0.3.1 released

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.

Issues:

• reworked style of settings dialogue
• deleted unused code
• reintroduced “clear all fields” button to settings dialogue