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.)