added an option to pass commandline args to DDPLS

package.json

@@ -87,6 +87,11 @@
 					"type": "boolean",
 					"default": false,
 					"description": "adds the --wortreich flag to $kddp starte"
+				},
+				"ddp.DDPLS.flags": {
+					"type": "array",
+					"default": "",
+					"description": "flags that are passed to the language server"
 				}
 			}
 		},
@@ -127,4 +132,4 @@
 		"mocha": "^10.0.0",
 		"typescript": "^4.7.2"
 	}
-}
+}

src/extension.ts

@@ -17,10 +17,12 @@ export function activate(ctx: vscode.ExtensionContext) {
 		out.appendLine("DDPPATH not found\nThis might cause errors in some commands");
 	}
 
+	let config = vscode.workspace.getConfiguration('ddp');
+	let lsArgs = config.get<string[]>("DDPLS.flags");
 	// DDPLS must be installed and in the PATH
 	let serverOptions: langsrv.ServerOptions = {
-		run: { command: "DDPLS" },
-		debug: { command: "DDPLS" }
+		run: { command: "DDPLS", args: lsArgs },
+		debug: { command: "DDPLS", args: lsArgs }
 	};
 
 	let clientOptions: langsrv.LanguageClientOptions = {