(ddd.info)Customizing Glyphs
4.4.1 Customizing Glyphs
------------------------
In the source text, the current execution position and breakpoints are
indicated by symbols ("glyphs"). As an alternative, DDD can also
indicate these positions using text characters. If you wish to disable
glyphs, set `Edit => Preferences => Source => Show Position and
Breakpoints => as Text Characters' option. This also makes DDD run
slightly faster, especially when scrolling.
This setting is tied to this resource:
-- Resource: displayGlyphs (class DisplayGlyphs)
If this is `on', the current execution position and breakpoints are
displayed as glyphs; otherwise, they are shown through characters
in the text. The default is `on'. Note: Options, for the
`--glyphs' and `--no-glyphs' options.
You can further control glyphs using the following resources:
-- Resource: cacheGlyphImages (class CacheMachineCode)
Whether to cache (share) glyph images (`on') or not (`off').
Caching glyph images requires less X resources, but has been
reported to fail with OSF/Motif 2.1 on XFree86 servers. Default
is `off' for OSF/Motif 2.1 or later on GNU/Linux machines, and `on'
otherwise.
-- Resource: glyphUpdateDelay (class GlyphUpdateDelay)
A delay (in ms) that says how much time to wait before updating
glyphs while scrolling the source text. A small value results in
glyphs being scrolled with the text, a large value disables glyphs
while scrolling and makes scrolling faster. Default: `10'.
-- Resource: maxGlyphs (class MaxGlyphs)
The maximum number of glyphs to be displayed (default: `10').
Raising this value causes more glyphs to be allocated, possibly
wasting resources that are never needed.
automatically generated by info2www version 1.2.2.9