Changes:
- c5647b8 "Merge Tagged PR 6598"
- d9286d2 "Merge Tagged PR 7346"
- c6a211d "Merge Tagged PR 7497"
- ca2d904 Merge pull request #7719 from gidoly/patch-6
- 78e233c uisettings: Add enumeration type for themes
- 789af19 config: Change default theme to Dark Colorful
This list of changes was auto generated.