Skip to content

Add option to turn off language server features #785

Closed
Closed
Add option to turn off language server features#785
Labels
Feature RequestLanguage ServicefixedCheck the Milestone for the release in which the fix is or will be available.
Milestone
August 2018
@bobbrow

Description

@bobbrow
bobbrow
opened on May 30, 2017

Some users of the extension may only wish to use the debugger features and don't want to be bothered with any error notifications from the language server.

moving request out of closed issue #755

Metadata

Metadata

Assignees

No one assigned

    Labels

    Feature RequestLanguage ServicefixedCheck the Milestone for the release in which the fix is or will be available.

    Type

    No type

    Fields

    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions