Added the possibility to select a theme for the code editor