Set the theme per user basis
|Reported by:||miezuit||Owned by:||olemis|
|Severity:||normal||Keywords:||theme, user, preferences|
|Cc:||lkraav, rjollos||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.