ctrl+tab gives you some options to change such as theme and font size

removed compiled editor.js