From c69afdb01d8ded15f08f556a400706e6bb2d43e2 Mon Sep 17 00:00:00 2001 From: Matthias Becker Date: Mon, 5 Feb 2024 11:22:06 +0000 Subject: [PATCH] Improve Documentation of "Appearance" Preference Page - Remove preference "Enable Animations" as it's no longer available - Add missing preferences --- .../reference/ref-16.htm | 28 +++++++++++++++---- 1 file changed, 23 insertions(+), 5 deletions(-) diff --git a/eclipse.platform.common/bundles/org.eclipse.platform.doc.user/reference/ref-16.htm b/eclipse.platform.common/bundles/org.eclipse.platform.doc.user/reference/ref-16.htm index b61a8e69d5c..1c20a22a22e 100644 --- a/eclipse.platform.common/bundles/org.eclipse.platform.doc.user/reference/ref-16.htm +++ b/eclipse.platform.common/bundles/org.eclipse.platform.doc.user/reference/ref-16.htm @@ -21,20 +21,38 @@

Appearance

Description Default + + Enable Theming + Specify whether theming of the user interface should be enabled. If disabled the usage + interface will only use operating system look and feel. + Enabled + Theme - Specify the currently active theme (look and feel). + Specify the currently active theme (look and feel). This setting is only available if + "Enable Theming" is enabled. Dependent on the operating system - Enable animations - Specify if the animations should be enabled + Color And Font Theme + Set this to "Reduced Palette" to reduce the amoung of different colors + used and to increase contrast. This setting is only available if "Enable Theming" is enabled. + Dependent on the operating system + + + Use round tabs + Specify whether the corner of the tabs should be rounded. Disabled Use mixed fonts and colors for labels - Specify if the fonts and colors for labels should be mixed - Fonts and colors should be mixed + Specify if the views should utilize colored labels. + Enabled + + + Show most recently used tabs + Specifies whether the list of tabs should be sorted in the order in which they are most recently used. + Enabled