The Options menu allows you to change various aspects of the behavior of the source linked debugger. The Options menu is selected by clicking its button in the debugger window as shown.
+---------------------------+ | Print Format... | +---------------------------+ | Leashing... | +---------------------------+ |===========================| +---------------------------+ | * Creep Initially (Trace) | +---------------------------+ | o Leap Initially (Debug) | +---------------------------+ | o Zip Initially | +---------------------------+
Beginning with the bottom part of the menu, the Creep, Leap, and Zip Initially toggles allow you to set the current debugging mode (see dbg-bas-con-tdz).
The Print Format button brings up a dialogue that will allow you to
change the way goals will be printed when source linkage is impossible
(see dbg-sld-whe). This dialogue has a toggle button for
each true/false write_term/[2,3]
option (see Reference page), and a
place to enter a print depth limit. Leaving the print depth empty (or
setting it to 0) will mean that there is no depth limit; the goal will
be printed in full.
+-------------------------------------------+ | * quoted * portrayed | | | | * character_escapes o number_vars | | +------+ | | o ignore_ops | 5 | max_depth | | +------+ | | +----+ +--------+ | | | Ok | | Cancel | | | +----+ +--------+ | +-------------------------------------------+
The Leashing button brings up a dialogue that lets you set your leashing mode (see dbg-bas-con-lea).
+-----------------------------------+ | * Call * Redo | | | | * Head * Fail | | | | * Exit * Exception | | | | * Done | | | | +----+ +--------+ | | | Ok | | Cancel | | | +----+ +--------+ | +-----------------------------------+