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

Extensions settings not working #250

Open
LemonsSquirrel opened this issue Jan 28, 2025 · 2 comments
Open

Extensions settings not working #250

LemonsSquirrel opened this issue Jan 28, 2025 · 2 comments
Assignees

Comments

@LemonsSquirrel
Copy link

LemonsSquirrel commented Jan 28, 2025

So, i have a problem where when i install extensions, i cannot change any of the setting through the editor settings menu or the usersettings.json.
It bugs only for extensions, i can change the editor base settings like LLMs but not settings from extensions.
The only way for me to change the settings is to go into the extension's config file and modify the default settings, but even then, it is not read and doesn't work.
If i had to give an example, when i change themes, it changes the theme, but when i close Void and open it again, the theme isn't there.
If i want to change said theme, i have an error that pops up too:
Can not add index to parent of type array
And if i update Void to the last version, it does not work either.

I'm on Windows and I have VSCode installed alongside Void if this helps.

Changing themes error:
Image

@mathewpareles
Copy link
Contributor

mathewpareles commented Jan 28, 2025

Thanks for the info!

Just want to double check - has this been a problem for any settings besides the theme? We've made some changes to the theming so I want to make sure it's a more general problem rather than just a theming problem.

Also, I'm not clear what you mean by "extension". Do you mean VS Code extension (like those you'd find in the marketplace?) If so, is there a specific extension I can use to replicate the problem?

@LemonsSquirrel
Copy link
Author

LemonsSquirrel commented Jan 28, 2025

Yes, it isn't just the themes, it also is for a variety of extensions i have, not only the theme ones, and yes by extension i mean the marketplace ones, if you want to replicate, i am not sure if it's just my PC or not but you can try with the extension: rainglow, then try to change themes, or if you want something other than themes, you can try blockman (the nested code blocks highlight one), and try to edit the colors and levels in usersettings.json.

@mathewpareles mathewpareles self-assigned this Jan 28, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants