(ddd.info)Auto-Raise Menus
3.1.11.1 Auto-Raise Menus
.........................
You can cause pull-down menus to be raised automatically.
-- Resource: autoRaiseMenu (class AutoRaiseMenu)
If `on' (default), DDD will always keep the pull down menu on top
of the DDD main window. If this setting interferes with your
window manager, or if your window manager does not auto-raise
windows, set this resource to `off'.
-- Resource: autoRaiseMenuDelay (class AutoRaiseMenuDelay)
The time (in ms) during which an initial auto-raised window blocks
further auto-raises. This is done to prevent two overlapping
auto-raised windows from entering an _auto-raise loop_. Default is
`100'.
automatically generated by info2www version 1.2.2.9