[previous] [up] [next]     [contents]
Next: MrSpidey Analysis Preferences Window Up: PLT MrSpidey: Static Debugger Previous: The Summary Window

Preferences

The Edit|Preferences ... menu item menu allows users to configure a variety of DrScheme options. Two of the preferences windows, MrSpidey Analysis and MrSpidey Type Display, control aspects of MrSpidey's behavior. (These windows are only available after MrSpidey is loaded.)





PLT