Community
Participate
Working Groups
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
New Gerrit change created: https://git.eclipse.org/r/c/platform/eclipse.platform.common/+/183299