3.6 Customizing DDD
DDD is controlled by several _resources_--user-defined variables that
take specific values in order to control and customize DDD behavior.
Most DDD resources can be set interactively while DDD is running or
when invoking DDD. Note: Resource Index, for the full list of DDD
We first discuss how customizing works in general; then we turn to
customizing parts of DDD introduced so far.
- How Customizing Works
- Customizing Help
- Customizing Undo
- Customizing Windows
- Debugger Settings
automatically generated by info2www version 22.214.171.124