Editor options

    Editor tab picture

    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.