Don't use a custom widget to separate preference categories

akwizgranrequested to merge
1045-preference-divider into master

The support library provides a default separator between preferences, but not between categories. Use dummy categories as separators.

Closes #1045 (closed)

Merge request reports