release2017-07-05

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