You can edit your document in a place called "Preferences". You can click on "Edit --> Preferences" to get the options. You can even customize the Text editor in this tool. In "Fonts & Colors" you can change the default editor font and its theme. | You can edit your document in a place called "Preferences". You can click on "Edit --> Preferences" to get the options. You can even customize the Text editor in this tool. In "Fonts & Colors" you can change the default editor font and its theme. |