Search

ParaSoft

HOME
PRODUCTS
SUPPORT
ABOUT
WHAT'S NEW
EVENTS


Insure++

Quick facts

Add-on Modules:
   -INUSE
   -TCA

Comparisons

Technical Papers

Support & Manuals

FAQs

Recent Reviews

User Testimonials

Press Releases


Insure tool to debug c++





Insure++ Reference - Configuration Files

Part III - Options used by Insra



Configuration Files

Options used by Insra

Running insra

insra.body_background_color [White|color]
Specifies the color Insra will use for the message body area background.

insra.body_font [Fixed|font]
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.

insra.body_height [0|1|2|...|8|...]
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.

insra.body_text_color [Black|color]
Specifies the color Insra will use for the message body text.

insra.body_width [0|1|2|...|80|...]
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.

insra.header_background_color [White|color]
Specifies the color Insra will use for the message header area background.

insra.header_font [Fixed|font]
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.

insra.header_height [0|1|2|...|8|...]
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.

insra.header_highlight_color [LightSteelBlue2|color]
Specifies the color Insra will use to indicate the currently selected message or session header in the message header area.

insra.header_highlight_text_color [Black|color]
Specifies the color Insra will use for the text of the currently selected message or session header in the message header area.

insra.header_session_color [LightSkyBlue3|color]
Specifies the color Insra will use to indicate a session header.

insra.header_session_text_color [Black|color]
Specifies the color Insra will use for session header text.

insra.header_text_color [Black|color]
Specifies the color Insra will use for message header text.

insra.header_width [0|1|2|...|80|...]
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.

insra.port [3255|port_number]
Specifies which port Insra should use to communicate with Insure++ and Insure++-compiled programs.

insra.toolbar [on|off]
Specifies whether Insra`s toolbar is displayed. All toolbar commands can also be chosen from the menu bar.

insra.visual [xterm -e vi +%l %f| emacs +%l %f| other_editor_command]
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.

<- Runtime Options > Memory Overflow
Tools to debug c++ and java
(888) 305-0041 info@parasoft.com Copyright © 1996-2001 ParaSoft