History Menu

The history menu is a pop-up menu of a viewer window and lists the URLs of all documents that are contained in the local history of the current viewer window. The history menu does not appear if the history is empty. This menu may be invoked by using the keyboard shortcut ^W or by the help of the "View Menu".

The items of the history list are sorted by the order in which the related documents have been retrieved, with the last fetched document at the end. The whole list can be scrolled in all directions. Initially, the entry that is associated to the current document is being selected.

Activating an entry of the history list causes a switch to the corresponding document or part of it within the associated viewer window to be performed.