Skip to content

Add setting to disable editor services #499

@glennsarti

Description

@glennsarti

The internal setting to disable editor services was created in #442 (https://github.com/lingua-pupuli/puppet-vscode/blob/master/src/settings.ts#L44)

However there was never a setting added to package.json to allow a user to actually set it.
i.e "puppet.editorService.enabled": false, complains the setting doesn't exist

Metadata

Metadata

Assignees

No one assigned

    Labels

    Type

    No type

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions