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

more explanations on settings #367

Merged
merged 2 commits into from
Oct 21, 2024
Merged

more explanations on settings #367

merged 2 commits into from
Oct 21, 2024

Conversation

GitMensch
Copy link
Contributor

and back-reference for "show copybooks on hover"

this originates on me wondering why it did not work "as suggested by the README".

Question: Wouldn't it be reasonable for the LSP to have a list of the file names and if there's only a single one to match the copybook for hover/show definition`?
This would lead to most environments working "out of the box".

and back-reference for "show copybooks on hover"
@CLAassistant
Copy link

CLAassistant commented Sep 3, 2024

CLA assistant check
All committers have signed the CLA.

@GitMensch
Copy link
Contributor Author

GitMensch commented Sep 3, 2024

requesting review from @nberth - feel free to move those changes to a different file in the case of generated package.json; but note that the "special line breaks" double+space, then lf do an "actual" line break, so those should be kept

README.md Outdated Show resolved Hide resolved
@GitMensch
Copy link
Contributor Author

@nberth: any updates on this? I'm not sure if #368 is likely to be finished soon and have a "frontend" in the vscode extension (it definitely sounds interesting), but with all the other important changes since the last release I'd like to see 0.1.4 going out "rather soon" - and thise one seems like a low hanging fruit before...

README.md Outdated Show resolved Hide resolved
@nberth nberth merged commit 24673c9 into OCamlPro:master Oct 21, 2024
4 checks passed
@GitMensch GitMensch deleted the patch-1 branch October 21, 2024 15:22
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.

3 participants