mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-10-06 06:21:16 +07:00
Use language ID
language.toString() results in "#Language: lang" with #Langauge treated as a hash tag while it should be "#lang", where lang is a language name.
This commit is contained in:
@@ -121,7 +121,7 @@ public class PsiInvalidElementAccessException extends RuntimeException implement
|
||||
@Nullable Object trace) {
|
||||
String reason = "Element: " + element.getClass();
|
||||
if (!recursiveInvocation) {
|
||||
reason += " #" + element.getLanguage() + " ";
|
||||
reason += " #" + element.getLanguage().getID() + " ";
|
||||
String traceText = !isTrackingInvalidation() ? "disabled" :
|
||||
trace != null ? "see attachment" :
|
||||
"no info";
|
||||
|
||||
Reference in New Issue
Block a user