The Text Editor

The Text Editor is a simple editor for plain text files (.txt). This is only included as a convenient way to edit simple text files such as "readme" files etc. The allowed extensions that the editor can open are: txt, java, jsp, js, log, html, xml and csv, but the editor does not use the information that these extensions imply about file content. All files are treated as plain text files (no syntax highlighting).