Set the theme per user basis
|Reported by:||Gasler Radu||Owned by:||Olemis Lang|
|Severity:||normal||Keywords:||theme, user, preferences|
|Cc:||lkraav, Ryan J Ollos||Trac Release:||0.11|
It would be nice if the theme could be selected in preferences by each user.
This way each user could select the desired theme from the list of available themes, like for example he can now select the Pygments Theme.