Skip to content

Issues: publicodes/language-server

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

11 Open 8 Closed
11 Open 8 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Fix: duplicated diagnostics and unshown diagnostics when reopening the file bug Something isn't working server/diagnostic
#27 opened Nov 15, 2024 by EmileRolley
@EmileRolley
Add support for different model in the same workspace enhancement New feature or request server
#24 opened Sep 5, 2024 by johangirod
Extend the hover support to more nodes enhancement New feature or request server
#23 opened Jul 26, 2024 by EmileRolley
1 task
File changes not picked up sometimes bug Something isn't working server/diagnostic
#22 opened Jul 26, 2024 by totakoko
2
Underline the whole name on hover instead of subpart enhancement New feature or request vscode-client
#21 opened Jul 25, 2024 by EmileRolley
Feat: add options to the extension enhancement New feature or request good first issue Good for newcomers server vscode-client
#20 opened Jul 25, 2024 by EmileRolley
3 tasks
Add a //ignore-unit-error option enhancement New feature or request
#13 opened Jun 25, 2024 by Clemog
3
Feat: Neovim extension for Publicodes enhancement New feature or request
#8 opened Jun 13, 2024 by EmileRolley
3 of 4 tasks
@EmileRolley
Manage folder changes enhancement New feature or request help wanted Extra attention is needed server vscode-client
#5 opened May 9, 2024 by EmileRolley
Manage files to ignore bug Something isn't working server vscode-client
#3 opened Apr 8, 2023 by EmileRolley
Automatically generate completion items for mechanisms enhancement New feature or request good first issue Good for newcomers server/completion
#1 opened Apr 8, 2023 by EmileRolley
ProTip! no:milestone will show everything without a milestone.