(ddd.info)Customizing Source Appearance
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 188.8.131.52