Text Editor

The Text Editor is a very simple text editor. Apart from the main editor area, the only user interface element the editor provides is the “Save” button in the top-left corner.