(ddd.info)Customizing Source
4.4 Customizing the Source Window
=================================
The source window can be customized in a number of ways, most of them
accessed via `Edit => Preferences => Source'.
- Customizing Glyphs
- Customizing Searching
- Customizing Source Appearance
- Customizing Source Scrolling
- Customizing Source Lookup
- Customizing File Filtering
automatically generated by info2www version 1.2.2.9