(ddd.info)More Customizations
3.6.4.8 More Customizations
...........................
You can change just about any label, color, keyboard mapping, etc. by
changing resources from the `Ddd' application defaults file which comes
with the DDD source distribution. Here's how it works:
* Identify the appropriate resource in the `Ddd' file.
* Copy the resource line to your `~/.ddd/init' file and change it at
will.
Note: Application Defaults, for details on the application-defaults
file.
automatically generated by info2www version 1.2.2.9