add option to allow language server to be shutdown

2025-12-25 02:48:05 +00:00 · 2020-06-29 12:55:50 +01:00
parent 6ca4ea353d
commit a278237486
2 changed files with 45 additions and 11 deletions
--- a/package.json
+++ b/package.json
@@ -33,6 +33,12 @@
            "type": "object",
            "title": "Android",
            "properties": {
+                "android-dev-ext.languageSupport": {
+                    "scope": "resource",
+                    "type": "boolean",
+                    "default": "true",
+                    "description": "Enable Java language support for Android"
+                },
                "android-dev-ext.appSourceRoot": {
                    "scope": "resource",
                    "type": "string",