Skip to content

Use a command URI for getDocAt#791

Merged
davidanthoff merged 3 commits into
masterfrom
commanduri-for-docs
Jul 6, 2020
Merged

Use a command URI for getDocAt#791
davidanthoff merged 3 commits into
masterfrom
commanduri-for-docs

Conversation

@davidanthoff

Copy link
Copy Markdown
Member

Returns a command URI for links.

pfitzseb
pfitzseb previously approved these changes Jul 6, 2020

@aviatesk aviatesk left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I changed the code so that it uses the same API as the one in VSCodeServer, but I agree with this approach in general :)

@davidanthoff
davidanthoff merged commit 295a489 into master Jul 6, 2020
@davidanthoff
davidanthoff deleted the commanduri-for-docs branch July 6, 2020 15:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants