MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

Fixed "SpellCheckingEditorCustomization" not to block other inspections

Browse Source 
Fixed custom "InspectionProfileWrapper" provided by
"SpellCheckingEditorCustomization" not to block other inspections
besides "SpellCheckingInspection"
This commit is contained in:
Konstantin Kolosovsky
2017-04-25 16:19:54 +03:00
parent c4d6d56b41
commit f693852f65
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
spellchecker/src/com/intellij/spellchecker/ui/SpellCheckingEditorCustomization.java
+1 -1
View File
@@ -159,7 +159,7 @@ public class SpellCheckingEditorCustomization extends SimpleEditorCustomization
@Override
public boolean isToolEnabled(HighlightDisplayKey key, PsiElement element) {
return myUseSpellCheck && SPELL_CHECK_TOOLS.containsKey(key.toString());
return SPELL_CHECK_TOOLS.containsKey(key.toString()) ? myUseSpellCheck : super.isToolEnabled(key, element);
}
public void setUseSpellCheck(boolean useSpellCheck) {