Bug 574781

Summary:	Update Preference Reference 'Annotation preferences page'
Product:	[Eclipse Project] Platform	Reporter:	Dieter Mai <maidieter>
Component:	Doc	Assignee:	Platform-Doc-Inbox <platform-doc-inbox>
Status:	NEW ---	QA Contact:
Severity:	trivial
Priority:	P3
Version:	4.20
Target Milestone:	---
Hardware:	All
OS:	All
See Also:	https://git.eclipse.org/r/c/platform/eclipse.platform.common/+/182957
Whiteboard:

Description Dieter Mai

2021-07-10 06:19:22 EDT

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.

Comment 1 Eclipse Genie

2021-07-10 06:28:11 EDT

New Gerrit change created: https://git.eclipse.org/r/c/platform/eclipse.platform.common/+/182957