minor widget and theme fix/additions for the profile manager #14

Merged
erinn merged 1 commits from 01-profiles into master 2020-09-17 22:13:04 +00:00

1 Commits