mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-06 03:21:12 +07:00
JavaFindUsagesProvider: better section name for record component
GitOrigin-RevId: 75da138e5a49b7505bd00f605b1025b8b5edbd80
This commit is contained in:
committed by
intellij-monorepo-bot
parent
8e79f5a4f2
commit
e0ba033faf
@@ -113,6 +113,9 @@ public class JavaFindUsagesProvider implements FindUsagesProvider {
|
||||
if (element instanceof PsiJavaModule) {
|
||||
return LangBundle.message("java.terms.module");
|
||||
}
|
||||
if (element instanceof PsiRecordComponent) {
|
||||
return LangBundle.message("java.terms.record.component");
|
||||
}
|
||||
|
||||
final String name = TypePresentationService.getService().getTypePresentableName(element.getClass());
|
||||
if (name != null) {
|
||||
|
||||
@@ -13,6 +13,7 @@ java.terms.instance.initializer=instance initializer
|
||||
java.terms.enum=enum
|
||||
java.terms.annotation.interface=@interface
|
||||
java.terms.module=module
|
||||
java.terms.record.component=record component
|
||||
java.terms.label=label
|
||||
java.terms.constructor=constructor
|
||||
terms.directory=directory
|
||||
|
||||
Reference in New Issue
Block a user