Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Avoid duplication of documentation between extension and wiki #340

Merged
merged 1 commit into from
Oct 13, 2020

Conversation

angelozerr
Copy link
Contributor

Avoid duplication of documentation between extension and wiki

Fixes #331

Signed-off-by: azerr [email protected]

@angelozerr angelozerr requested a review from datho7561 October 13, 2020 14:18
@angelozerr
Copy link
Contributor Author

This PR provides:

XMLDocDemo

Once this PR will be merged, I will remove all content from wiki and set a link to the docs/README.md

@datho7561
Copy link
Contributor

The open documentation command is available in the command palette before the extension starts, but trying to use it before the extension starts results in an error:

XMLDocCommandNotFound

I think adding it to the list of extension activation events makes sense.

docs/Extensions.md Show resolved Hide resolved
docs/README.md Outdated Show resolved Hide resolved
docs/Troubleshooting.md Show resolved Hide resolved
docs/Troubleshooting.md Outdated Show resolved Hide resolved
@angelozerr
Copy link
Contributor Author

I think adding it to the list of extension activation events makes sense.

fixed

@datho7561 datho7561 merged commit 98fb947 into redhat-developer:master Oct 13, 2020
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.

Avoid duplication of documentation between extension and wiki
2 participants