Theme Selector

[DarTar]

Add a theme selector to allow users to store a custom theme in their preferences.

Todo

• add theme field to user table
• add theme selector to user settings
• add support for plugin tree in SelectTheme()
• store current global theme in user settings when creating new user

Related tickets

• #627 Themes
• #6 New page layout

[DarTar]

(In [1447]) Adding 1st draft of theme selector in user settings, refs #908 and #627

[DarTar]

Adding todos

[DarTar]

Removing items already done

[DarTar]

(In [1448]) Empty user theme to default to global theme, refs #908 and #627

[DarTar]

(In [1449]) Empty user theme to default to global theme, refs #908 and #627

[DarTar]

As of [1449] new users get an empty theme that is overridden by the global settings.

[DarTar]

(In [1450]) Support for plugin themes in theme selector, refs #908 and #627

[BrianKoontz]

DarTar, this is awesome!

[DarTar]

(In [1508]) Restoring Theme selector in UserSettings, accidentally removed by merge, refs #908 and #911