About the history extension manager toolbar icons

The Workbench toolbar contains navigation and editing buttons as described in About the toolbar.

For an overview description of the history editor view, refer to About the history extension manager view. Following, are the icons that appear when the history extension manager view is active: