Customization

Definitions of the following window manager resource variables (typically defined in the .Xresources in the users home directory) allow the user to configure the how MrSpidey displays the program and associated static debugging information.

The root for all window manager variables is either ``mrspidey'' or ``mrspidey-bw'', depending on whether or not the system is using a monochrome monitor. Each delta variable described below should be bound to a string containing a series of Scheme lists. Each list should be (method args ...), where method is a wxWindow wx:StyleDelta method, and args ...is an appropriate argument list for that method. A typical definition is:

mrspidey.check-delta: (set-delta wx:const-change-underline 1)

The list of delta variables used by MrSpidey is:

• base-delta: The base style for program text and types.
• normal-delta: For displaying normal (unannotated) text.
• type-link-delta: For text with a hyper-link to the popup menu for showing the type, etc.
• type-delta: For showing the type in a box.
• check-delta: For showing checks (default red).
• uncheck-delta: For showing unchecked primitives (default forest green).
• check-link-delta: For hyper-links from the summary window to the corresponding definition.
• arrow-color: The color for showing (most) arrows (default blue)