(ddd.info)Customizing Source Appearance


Next: Customizing Source Scrolling Prev: Customizing Searching Up: Customizing Source
Enter node , (file) or (file)node

4.4.3 Customizing Source Appearance
-----------------------------------

You can have DDD show line numbers within the source window.  Use `Edit
=> Preferences => Source => Display Source Line Numbers'.

 -- Resource: displayLineNumbers (class DisplayLineNumbers)
     If this is `on', lines in the source text are prefixed with their
     respective line number.  The default is `off'.

   You can instruct DDD to indent the source code, leaving more room
for breakpoints and execution glyphs.  This is done using the `Edit =>
Preferences => Source => Source indentation' slider.  The default value
is `0' for no indentation at all.

 -- Resource: indentSource (class Indent)
     The number of columns to indent the source code, such that there is
     enough place to display breakpoint locations.  Default: `0'.

   By default, DDD uses a minimum indentation for script languages.

 -- Resource: indentScript (class Indent)
     The minimum indentation for script languages, such as Perl,
     Python, and Bash.  Default: `4'.

   The maximum width of line numbers is controlled by this resource.

 -- Resource: lineNumberWidth (class LineNumberWidth)
     The number of columns to use for line numbers (if displaying line
     numbers is enabled).  Line numbers wider than this value extend
     into the breakpoint space.  Default: `4'.

   If your source code uses a tab width different from `8' (the
default), you can set an alternate width using the `Edit => Preferences
=> Source => Tab width' slider.

 -- Resource: tabWidth (class TabWidth)
     The tab width used in the source window (default: `8')


automatically generated by info2www version 1.2.2.9