(ddd.info)Customizing Source


Prev: Looking up Items Up: Navigating
Enter node , (file) or (file)node

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