Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Split settings into separate groups #294

Closed
i582 opened this issue Feb 20, 2025 · 0 comments · Fixed by #312
Closed

Split settings into separate groups #294

i582 opened this issue Feb 20, 2025 · 0 comments · Fixed by #312
Assignees
@i582
Labels
vscode extension Related to extensions for VSCode and VSCodium, not the LS per se
Milestone
v0.3.0

Comments

@i582
Copy link
Member

i582 commented Feb 20, 2025

We already have too many settings available, so let's split them into separate groups:

Image
@i582 i582 added the vscode extension Related to extensions for VSCode and VSCodium, not the LS per se label Feb 20, 2025
@i582 i582 added this to the v0.3.0 milestone Feb 20, 2025
@i582 i582 self-assigned this Feb 20, 2025
i582 added a commit that referenced this issue Feb 21, 2025
@i582
feat(vscode): split settings to groups
de45b9f 
Fixes #294
@i582 i582 mentioned this issue Feb 21, 2025
Merged
@i582 i582 closed this as completed in #312 Feb 21, 2025
i582 added a commit that referenced this issue Feb 21, 2025
@i582
feat(vscode): split settings to groups (#312)
a85f9c9 
Fixes #294
i582 added a commit that referenced this issue Feb 21, 2025
@i582
fix(vscode): use flat settings keys
54f68a4 
#294
@i582 i582 mentioned this issue Feb 21, 2025
Merged
i582 added a commit that referenced this issue Feb 21, 2025
@i582
fix(vscode): use flat settings keys (#313)
82b8cc4 
#294
# for free to join this conversation on GitHub. Already have an account? # to comment
Assignees

@i582 i582

Labels
vscode extension Related to extensions for VSCode and VSCodium, not the LS per se
Projects
None yet
Milestone
v0.3.0
Development

Successfully merging a pull request may close this issue.

feat(vscode): split settings to groups tact-lang/tact-language-server
1 participant
@i582