Skip to content

check for active workspace and editor before use#87

Open
GitMensch wants to merge 1 commit intoppatotski:masterfrom
GitMensch:patch-1
Open

check for active workspace and editor before use#87
GitMensch wants to merge 1 commit intoppatotski:masterfrom
GitMensch:patch-1

Conversation

@GitMensch
Copy link
Copy Markdown

Note: I did not check the result yet but as I've wanted to used this code in another extension that uses Eslint it raised warnings here which are solved that way.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant