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

Provide IDEHelpers #27

Merged
merged 25 commits into from Jan 16, 2024
Merged

Provide IDEHelpers #27

merged 25 commits into from Jan 16, 2024

Conversation

Shresht7
Copy link
Owner

Fixes #8

@Shresht7 Shresht7 self-assigned this Dec 26, 2023
@Shresht7 Shresht7 added the enhancement New feature or request label Dec 26, 2023
@Shresht7 Shresht7 marked this pull request as draft December 27, 2023 19:28
@Shresht7 Shresht7 linked an issue Dec 28, 2023 that may be closed by this pull request
@Shresht7
Copy link
Owner Author

Lua configuration settings are written to the workspace .vscode/settings.json or *.code-workspace file.

This does not need to happen every time the extension is activated. Maybe this should be a command instead.

Updating the user's global configuration is another option, but I'd prefer not to tamper with the user's global settings.

@Shresht7 Shresht7 added the on-hold Progress is on-hold label Dec 29, 2023
@Shresht7 Shresht7 added this to the v0.1.0 milestone Dec 29, 2023
@Shresht7
Copy link
Owner Author

Shresht7 commented Jan 2, 2024

@Shresht7 Shresht7 removed the on-hold Progress is on-hold label Jan 16, 2024
@Shresht7 Shresht7 marked this pull request as ready for review January 16, 2024 11:23
@Shresht7
Copy link
Owner Author

The infrastructure is ready, it just needs the reference files. I'll open a separate new issue for that, as this is blocking the merge here.

@Shresht7 Shresht7 mentioned this pull request Jan 16, 2024
@Shresht7 Shresht7 merged commit a323ce6 into main Jan 16, 2024
@Shresht7 Shresht7 deleted the issue8 branch January 16, 2024 11:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
Status: Done
Development

Successfully merging this pull request may close these issues.

Bug: Duplication in Lua configuration settings Provide IDEHelpers
1 participant