Bug 574984

Summary:	Update Preference Reference 'Appearance preference 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/+/183299
Whiteboard:

Description Dieter Mai

2021-07-22 14:56:51 EDT

The help page 'Appearance preference page' at Workbench User Guide > Reference > Preferences > Appearance can be updated.

I see the following issues with this page:
- Preference 'Enable theming' missing
- Preference 'Color and Font theme' missing
- Preference 'Use round tabs' missing
- Preference 'Show most recently used tabs' missing
- Preference 'Enable Animations' was removed
- 'page' in title
- Informal addressing

Comment 1 Eclipse Genie

2021-07-22 15:41:33 EDT

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