Changing some options for the editor.