MainPreferencePage: Added fields for line widths
authorDaniel Kirschten <daniel.kirschten@gmx.de>
Mon, 18 May 2020 16:42:58 +0000 (18:42 +0200)
committerDaniel Kirschten <daniel.kirschten@gmx.de>
Mon, 18 May 2020 16:45:55 +0000 (18:45 +0200)
Fixes #3


No differences found