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.

Sign up for GitHub

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

Jump to bottom

Language server features #3169

Open
1 of 5 tasks
maan2003 opened this issue Aug 30, 2023 · 2 comments
Open
1 of 5 tasks

Language server features #3169

maan2003 opened this issue Aug 30, 2023 · 2 comments
Labels
inactive Issues and PRs which have been inactive for at least 90 days.

Comments

@maan2003
Copy link
Contributor

This was started during Google Summer of Code 2023 - Editor Integration Project.

Remaining work:

  • Code Outline
  • Goto Definition
  • Goto References
  • Code aware Renaming
  • Auto Complete
@JVApen JVApen mentioned this issue Sep 10, 2023
Open
@github-actions GitHub Actions
Copy link

We triage inactive PRs and issues in order to make it easier to find active work. If this issue should remain active or becomes active again, please comment or remove the inactive label. The long term label can also be added for issues which are expected to take time.

This issue is labeled inactive because the last activity was over 90 days ago.

@github-actions github-actions bot added the inactive Issues and PRs which have been inactive for at least 90 days. label Nov 29, 2023
@github-actions github-actions bot removed the inactive Issues and PRs which have been inactive for at least 90 days. label Jul 17, 2024
@github-actions GitHub Actions
Copy link

We triage inactive PRs and issues in order to make it easier to find active work. If this issue should remain active or becomes active again, please comment or remove the inactive label. The long term label can also be added for issues which are expected to take time.

This issue is labeled inactive because the last activity was over 90 days ago.

@github-actions github-actions bot added the inactive Issues and PRs which have been inactive for at least 90 days. label Oct 15, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
inactive Issues and PRs which have been inactive for at least 90 days.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@maan2003