Specifies the font Insra will use for the message body text.
On some systems, e.g. SGI, the Fixed font is much too
large. This option can be used to select a smaller font.
Specifies the starting height of the Insra message window
in number of rows of visible text. This may be modified while
Insra is running using the standard Motif controls.
Specifies the starting width of the Insra message window
in number of columns of visible text. This may be modified while
Insra is running using the standard Motif controls. If this
option is set to a different value than header_width,
the larger value will be used.
Specifies the font Insra will use for the message header
text. On some systems, e.g. SGI, the Fixed font is
much too large. This option can be used to select a smaller font.
Specifies the starting height of the Insra message header
area in number of rows of visible text. This may be modified while
Insra is running using the standard Motif controls.
Specifies the starting width of the Insra message header
area in number of columns of visible text. This may be modified
while Insra is running using the standard Motif controls.
If this option is set to a different value than
body_width, the larger value will be used.
Specifies how Insra should call an editor to display
the line of source code causing the error. Insra will
expand the %l token to the line number and the
%f token to the file name before executing the
given command. It is important to include the full path of any
binary that lives in a location not on your path. Setting this
option with no command string disables source browsing from
Insra.