From f56b7a6dddee26c4b8dc32bda1a6e676baa65e1e Mon Sep 17 00:00:00 2001 From: Elsa Zacharia Date: Wed, 11 Feb 2026 18:54:24 +0530 Subject: [PATCH] Some Colors and Fonts entries already provide user facing descriptions via ThemeElementCategory, while others do not. This change uses the existing descriptions to display in the description box and adds description for ones that doesn't have any entries to ensure the description area is not left empty and that available descriptions are consistently utilised. The main change pertaining to this has been merged in eclipse.platform.ui and eclipse.platform via https://github.com/eclipse-platform/eclipse.platform.ui/pull/3666 and https://github.com/eclipse-platform/eclipse.platform/pull/2453 respectively. One of the remaining part pertaining to the above PR's are addressed via this change. --- org.eclipse.jdt.ui/plugin.properties | 2 ++ org.eclipse.jdt.ui/plugin.xml | 11 ++++++++--- 2 files changed, 10 insertions(+), 3 deletions(-) diff --git a/org.eclipse.jdt.ui/plugin.properties b/org.eclipse.jdt.ui/plugin.properties index 23a079fa58f..b2aa6de7e8a 100644 --- a/org.eclipse.jdt.ui/plugin.properties +++ b/org.eclipse.jdt.ui/plugin.properties @@ -155,6 +155,8 @@ ModuleInfoClassFileViewerName=Module-Info Class File Viewer javaEditorFontDefiniton.label= Java Editor Text Font javaEditorFontDefintion.description= The Java editor text font is used by Java editors. +JavaTheme.description= Colors and fonts used in the Java editor, Javadoc and Java views. + javaCompareFontDefiniton.label= Java compare text font javaCompareFontDefiniton.description= The Java compare text font is used by Java compare/merge tools. diff --git a/org.eclipse.jdt.ui/plugin.xml b/org.eclipse.jdt.ui/plugin.xml index f0a141c3103..5ca25df4f1f 100644 --- a/org.eclipse.jdt.ui/plugin.xml +++ b/org.eclipse.jdt.ui/plugin.xml @@ -1190,9 +1190,14 @@ class="org.eclipse.jdt.internal.ui.javaeditor.CompilationUnitDocumentProvider"/> - - + + + + %JavaTheme.description + +