JavaScript menu in on-line manuals
This function is one of the advanced features available with the
Advanced License.
When activated, the dynamic menu works like a real tree control with expandable and collapsible nodes. The state of the menu elements is kept when another topic page is opened.
