" Use tab character"
When this check box is checked the editor will use the tab character to store tabs. If tab characters are
used then you can adjust the size of the tabs using the tab size checkbox.
When this check box is not checked, the editor will convert tabs to spaces before storing them. Tabs are
converted to spaces whether they are entered using the keyboard, or occur in files opened by the editor.
" Auto-indent lines"
This check box controls whether the editor will automatically indent new lines to match the indentation of
the previous line.
" Create backup files"
This check box controls whether the editor will create a backup when files are saved. The backup file has
the same name as the original file, except with the extension (.bak). If the original file already has a (.bak)
extension then no backup is created.
" Double-click performs word search"
When this check box is checked double-clicking on a word in the editor will cause the IDE to search the
Irie Pascal Programmer's Reference Manual (in "progref.html") for help on that word.
When this check box is not checked double-clicking on a word in the editor will cause the editor to select
the word.
" Tab size"
This allows you to specify the number of characters between tab stops. The default tab size is 8. If you
use tabs to indent your programs you might want to reduce this size so that more of your code fits on the
screen.
" Name of your program's executable"
If you want to change the name of the executable generated by the compiler, enter the new name here. By
default, the name of the executable generated by the compiler will be the same as the name of the project,
except with the extension .ivm. If you enter a name with the extension .exe, the compiler will generate a
true EXE executable. If the name here does not have an extension or has an extension other than .exe then
the compiler will generate an IVM executable.
" Arguments passed by the IDE"
This is where you would enter any arguments you want to pass to your program when it is run from inside
the IDE.
" #! header"
This is where you would enter any #! header that you want in the executable generated by the compiler.
UNIX like operating systems such as Linux, FreeBSD, and Solaris will use the #! header to locate the
