There is not too much options in the editor at the moment. The only things that user
can specify are
Size of TAB
A positive number can be set in this field. This number represents the
size of TAB character in spaces. This value is used when files are
loaded from disk to memory. When a TAB is encountered it is replaced by
appropriate number of spaces. Example (_ represents space and % represents TAB):
Size of TAB: 4
Text with TABs : _Hi,%how%do%you%feel?
Text without TABs: _Hi,____how_do__you_feel?
Backup files
When this check button is on files are duplicated during save. It means that
on every save a backup copy of the file is created with extension ~.
Name of file : Editor.java
Name of backup file: Editor.java~
These options are saved in global option file so they can be set only once
and will remain on every system start up.