You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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:
The text was updated successfully, but these errors were encountered:
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?
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.
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:

The text was updated successfully, but these errors were encountered: