201: Add additional registry key

This commit is contained in:
Nikolay Krasko
2020-03-19 19:57:42 +03:00
parent e618c211b4
commit a8c3e4aa6f
@@ -11,4 +11,5 @@ fun setupIdeaStandaloneExecution() {
System.getProperties().setProperty("psi.track.invalidation", "true")
System.getProperties().setProperty("psi.incremental.reparse.depth.limit", "1000")
System.getProperties().setProperty("ide.hide.excluded.files", "false")
System.getProperties().setProperty("ast.loading.filter", "false")
}