Skip to content

Load language server in the background #3020

Closed

Description

See #2853

Activity

  1. d3r3kk commented on Dec 5, 2018

    @d3r3kk

    Don Jayamanne (@DonJayamanne) have you started in on this yet?

  2. added a commit that references this issue on Dec 12, 2018
  3. locked as resolved and limited conversation to collaborators on Jan 11, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Labels

feature-requestRequest for new features or functionalityimportantIssue identified as high-priority

Type

No type

Projects

No projects

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions