added an option to change the editor's theme