Improved MainPreferencePage:
authorDaniel Kirschten <daniel.kirschten@gmx.de>
Mon, 18 May 2020 16:19:11 +0000 (18:19 +0200)
committerDaniel Kirschten <daniel.kirschten@gmx.de>
Mon, 18 May 2020 16:19:11 +0000 (18:19 +0200)
Added preferences for line dashes
Defaults are now properly initialized
Preference names are not hardcoded anymore


No differences found