Support the ignoreFiles option explicitly in the VSCode config

Author: kddnewton

package.json

@@ -64,6 +64,11 @@
             },
             "type": "array"
           },
+          "syntaxTree.ignoreFiles": {
+            "default": "",
+            "markdownDescription": "A glob pattern of files to ignore for formatting.",
+            "type": "string"
+          },
           "syntaxTree.printWidth": {
             "markdownDescription": "The width to be used when formatting code.",
             "type": "number"

src/extension.ts

@@ -183,6 +183,12 @@ export async function activate(context: ExtensionContext) {
       args.push(`--print-width=${printWidth}`);
     }
 
+    // Configure ignore files if any.
+    const ignoreFiles = config.get<string>("ignoreFiles");
+    if (ignoreFiles) {
+      args.push(`--ignore-files=${ignoreFiles}`);
+    }
+
     const run = await getServerOptions(args);
     outputChannel.appendLine(`Starting language server: ${run.command} ${run.args?.join(" ")}`);