Add an option to change the editor's theme