> Document -> Outline. Oops! Shame on me! I thought I had looked everywhere! ... Indeed I would have expected it in View->Toolbars->Outline or View->Outline.
Perhaps a good moment to report a small bug, which can be disturbing, if the mouse is deactivated: If one chooses Document->Outline a second time, the outline does not disappear. Thanks also for the information about the definition files! -Sebastian -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.
