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

HighlightDisplayKey: introduce proper getShortName instead of toString

Browse Source 
GitOrigin-RevId: 7c6fb37449dbebb6308c3d76f4cbb48bb3cc1392
This commit is contained in:
Max Medvedev
2024-08-09 10:50:25 +02:00
committed by intellij-monorepo-bot
parent 57b9c44e8f
commit c0f11e5298
16 changed files with 72 additions and 55 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
spellchecker/src/com/intellij/spellchecker/ui/SpellCheckingEditorCustomization.java
View File

@@ -141,7 +141,7 @@ public class SpellCheckingEditorCustomization extends SimpleEditorCustomization
@Override
public boolean isToolEnabled(HighlightDisplayKey key, PsiElement element) {
return (key != null && SPELL_CHECK_TOOLS.containsKey(key.toString()) ? myUseSpellCheck : super.isToolEnabled(key, element));
return (key != null && SPELL_CHECK_TOOLS.containsKey(key.getShortName()) ? myUseSpellCheck : super.isToolEnabled(key, element));
}
}
}