User manual

Table Of Contents
Documents Loaded
A list of the currently loaded documents. Clicking on a name makes that document the selected
document ("Ctrl + F6" also switches between open documents). A "*" after the document name indicates
that it currently has unsaved changes.
Page 293