Document logThreshold setting and expose it in VS Code

Author: eliericha

doc/settings.md

@@ -357,3 +357,9 @@ This option controls the formatting provider for the `textDocument/formatting`,
 `textDocument/rangeFormatting` and `textDocument/onTypeFormatting` request. By default, this option
 is enabled and ALS uses GNATformat as its formatting provider. If disabled, GNATpp is used instead.
 
+### logThreshold
+
+Controls the maximum number of trace files preserved in the ALS log directory (which defaults to `~/.als`).
+When this threshold is reached, old trace files get deleted automatically.
+The default number of preserved trace files is `10`.
+See the documentation on [ALS Traces](doc/traces.md) for more information.

integration/vscode/ada/package.json

@@ -470,6 +470,12 @@
                         ],
                         "default": "off",
                         "description": "Traces the communication between VS Code and the GPR language server in the 'GPR Language Server' Output view."
+                    },
+                    "ada.logThreshold": {
+                        "scope": "window",
+                        "type": "integer",
+                        "default": null,
+                        "description": "Controls the maximum number of trace files preserved in the ALS log directory (which defaults to `~/.als`). When this threshold is reached, old trace files get deleted automatically. The default number of preserved trace files is `10`."
                     }
                 }
             }

testsuite/settings-doc/test.sh

@@ -16,7 +16,7 @@ python3 get-schema-properties.py <"$1/integration/vscode/ada/schemas/als-setting
 grep 'if Name = "[^"]\+"' "$1/source/ada/lsp-ada_configurations.adb" | sed -e 's/.*"\([^"]\+\)"/\1/' >impl.txt
 # Remove the following settings from the implementation list because they are
 # either hidden, or nested
-exclude="logThreshold onTypeFormatting indentOnly"
+exclude="onTypeFormatting indentOnly"
 for exc in $exclude; do
     echo "$(grep -v "$exc" <impl.txt)" >impl.txt
 done