MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-04-19 04:51:24 +07:00
Code Issues Packages Projects Releases Wiki Activity

Java: add configuration for a separate color for record components (IDEA-350397)

Browse Source 
GitOrigin-RevId: d3efcc3d50a2641306c32775ab356c188330f8e8
This commit is contained in:
Bas Leijdekkers
2024-12-19 17:24:15 +01:00
committed by intellij-monorepo-bot
parent 3c2a0901cc
commit 0ed14734d9
7 changed files with 17 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
java/java-frontback-psi-api/resources/messages/JavaOptionBundle.properties
View File

@@ -12,6 +12,7 @@ options.java.attribute.descriptor.implicit.anonymous.parameter=Parameters//Impli
options.java.attribute.descriptor.inherited.method=Methods//Inherited method
options.java.attribute.descriptor.instance.field=Class Fields//Instance field
options.java.attribute.descriptor.instance.final.field=Class Fields//Instance final field
options.java.attribute.descriptor.record.component=Class Fields//Record component
options.java.attribute.descriptor.interface=Classes and Interfaces//Interface
options.java.attribute.descriptor.javadoc.comment=Comments//JavaDoc//Text
options.java.attribute.descriptor.javadoc.markup=Comments//JavaDoc//Markup