Skip to content

Commit 0716b88

Browse files
committed
(GH-499) Add Editor Services Setting
This commit adds a user setting to allow the editor services to be disabled. This is useful for scenarios where the user does not want the advanced features of the language server, or won't ever have an available PDK or Puppet-Agent install availble to run the language server.
1 parent 61e9fec commit 0716b88

File tree

1 file changed

+5
-0
lines changed

1 file changed

+5
-0
lines changed

package.json

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -308,6 +308,11 @@
308308
"type": "object",
309309
"title": "Puppet",
310310
"properties": {
311+
"puppet.editorService.enable": {
312+
"type": "boolean",
313+
"default": true,
314+
"description": "Enable/disable advanced Puppet Language Features"
315+
},
311316
"puppet.editorService.debugFilePath": {
312317
"type": "string",
313318
"default": "",

0 commit comments

Comments
 (0)