(ddd.info)Auto-Raise Menus


Next: Customizing the Edit Menu Up: Customizing the Menu Bar
Enter node , (file) or (file)node

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