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

Improve ability to open docs in editor #510

Closed

Conversation

DaelonSuzuka
Copy link
Collaborator

@DaelonSuzuka DaelonSuzuka commented Oct 13, 2023

This PR improves the ability to open in-editor docs in various situations.

Currently it opens a webview with the docs for just <Class>.<symbol>, but I'm working on opening the full docs for <Class> and then scrolling to <symbol>.

Code_M9KHZBvq9r

@DaelonSuzuka DaelonSuzuka force-pushed the editor_docs_improvements branch from c50f096 to 2e3ce1e Compare October 26, 2023 03:20
@DaelonSuzuka
Copy link
Collaborator Author

I decided to re-implement this in #529.

@DaelonSuzuka DaelonSuzuka deleted the editor_docs_improvements branch January 6, 2024 21:44
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.

2 participants