From 64b879ce5e29423ef3ebd82b4db4877b95608070 Mon Sep 17 00:00:00 2001 From: Jordan Wiens Date: Fri, 5 Jul 2024 19:02:29 -0400 Subject: fix missing settings header --- docs/guide/settings.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'docs/guide') diff --git a/docs/guide/settings.md b/docs/guide/settings.md index e4677efd..252fb3dd 100644 --- a/docs/guide/settings.md +++ b/docs/guide/settings.md @@ -27,6 +27,8 @@ All settings are uniquely identified with an identifier string. Identifiers are **Note**: In order to facilitate reproducible analysis results, when opening a file for the first time, all of the analysis settings are automatically serialized into the _Resource Setting_ scope. This prevents subsequent _User_ and _Project_ setting modifications from unintentionally changing existing analysis results. +## All Settings + |Category|Setting|Description|Type|Default|Scope|Key| |---|---|---|---|---|---|---| |analysis|Alternate Type Propagation|Enable an alternate approach for function type propagation.|`boolean`|`True`|[`SettingsProjectScope`, `SettingsResourceScope`, `SettingsUserScope`]|analysis.alternateTypePropagation| @@ -461,4 +463,4 @@ All settings are uniquely identified with an identifier string. Identifiers are | | | |`enum`|`core.function.objectiveC`| | | | | | |`enum`|`core.module.defaultAnalysis`| | | |workflows|Module Workflow|Workflow selection for module-based analysis. Note: Module-based workflows incomplete.|`string`|`core.module.defaultAnalysis`|[`SettingsProjectScope`, `SettingsResourceScope`, `SettingsUserScope`]|workflows.moduleWorkflow| -| | | |`enum`|`core.module.defaultAnalysis`| | | \ No newline at end of file +| | | |`enum`|`core.module.defaultAnalysis`| | | -- cgit v1.3.1