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 + +