Community
Participate
Working Groups
The help page 'Annotations preference page ' at Workbench User Guide > Reference > Preferences > Annotations can be updated. I see the following issues with this page: - The option 'Include in next/previous navigation' is missing. - The left hand side is not mentioned. - The option 'Show in Text as' has more options then 'underlined'. - The page doesn't need to contain 'page' in the title.
New Gerrit change created: https://git.eclipse.org/r/c/platform/eclipse.platform.common/+/182957