Skip to content

Fix links in hover and completion documentation#246

Merged
datho7561 merged 1 commit intoredhat-developer:masterfrom
datho7561:fix-links-in-hover-and-completion
May 7, 2025
Merged

Fix links in hover and completion documentation#246
datho7561 merged 1 commit intoredhat-developer:masterfrom
datho7561:fix-links-in-hover-and-completion

Conversation

@datho7561
Copy link
Contributor

Fix links of the form jdt:// in documentation to instead invoke the vscode-java command to open the corresponding file.

Adapted from vscode-java

Fixes #245

Signed-off-by: David Thompson davthomp@redhat.com

@datho7561
Copy link
Contributor Author

@angelozerr if you have time, do you mind taking a look at this PR? I forgot about it, but it's needed to fix links in hover documentation.

Fix links of the form `jdt://` in documentation to instead invoke
the vscode-java command to open the corresponding file.

Adapted from vscode-java

Fixes redhat-developer#245

Signed-off-by: David Thompson <davthomp@redhat.com>
@datho7561 datho7561 force-pushed the fix-links-in-hover-and-completion branch from 55980a4 to 7b26315 Compare May 7, 2025 15:10
@angelozerr
Copy link
Contributor

LGTM

@datho7561 datho7561 merged commit d6801a2 into redhat-developer:master May 7, 2025
3 checks passed
@datho7561 datho7561 deleted the fix-links-in-hover-and-completion branch May 7, 2025 15:58
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.

Links in documentation provided in properties files do not work

2 participants