[css] add server trace option

2024-08-28 05:19:39 +00:00 · 2016-12-05 12:08:21 +01:00 · 2016-12-05 12:08:21 +01:00 · 8cb6e75ada
parent 4d8781d17a
commit 8cb6e75ada
1 changed files with 10 additions and 0 deletions
--- a/extensions/css/package.json
+++ b/extensions/css/package.json
@ -242,6 +242,16 @@
                  ],
                  "default": "ignore",
                  "description": "%css.lint.idSelector.desc%"
+                },
+                "css.trace.server": {
+                  "type": "string",
+                  "enum": [
+                    "off",
+                    "messages",
+                    "verbose"
+                  ],
+                  "default": "off",
+                  "description": "Traces the communication between VS Code and the CSS language server."
                }
              }
            }