id,summary,reporter,owner,description,type,status,priority,component,severity,resolution,keywords,cc,release 6433,Set the theme per user basis,Gasler Radu,Olemis Lang,"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.",enhancement,new,normal,ThemeEnginePlugin,normal,,"theme, user, preferences",lkraav,1.4