MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-01-08 15:09:39 +07:00
Code Issues Packages Projects Releases Wiki Activity

make registry flag "highlighting.essential.should.restart.in.full.mode.on.save.all" to fix "disable IDEA-362841 Essential Mode unconditionally shows invalid reference errors after "Save all". Can we make it configurable?

Browse Source 
(cherry picked from commit 3d36bd1698f443ea8ffb89b286ad7e9cd84607b8)

IJ-CR-149829

GitOrigin-RevId: 211d27d11f6f24fcdfab34a00f66706ad4d54223
This commit is contained in:
Alexey Kudravtsev
2024-11-08 13:45:06 +01:00
committed by intellij-monorepo-bot
parent 4a8afad761
commit 6558ffdac9
1 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
platform/util/resources/misc/registry.properties
View File

@@ -2551,5 +2551,8 @@ properties.file.encoding.legacy.support.description=Switch the encoding for prop
highlighting.essential.should.restart.in.full.mode.on.save.all=true
highlighting.essential.should.restart.in.full.mode.on.save.all.description="Essential Mode" highlighting should re-highlight its current file in the full mode upon "Save All" action execution
highlighting.essential.should.restart.in.full.mode.on.save.all=true
highlighting.essential.should.restart.in.full.mode.on.save.all.description="Essential Mode" highlighting should re-highlight its current file in the full mode upon "Save All" action execution
# please leave this note as last line
# TODO please use EP com.intellij.registryKey for plugin/product specific keys