Sorry, I actually have a ton of questions about this. If you can help me out, I’d really appreciate it.
You say the settings.json is “stored in indexed DB of a browser for your origin.” That’s a file in my own web browser, one per GitHub repo, you mean? And therefore, I cannot edit this file in my GitPod terminal, because it’s not part of my project’s filesystem? VS Code knows how to pull it out of the browser, when I press “Open Settings”? VS Code’s documentation says:
“A VS Code “workspace” is usually just your project root folder. Workspace settings…are stored at the root in a
I couldn’t find this directory, though.
If I’d like my VS Code settings to be synced to the actual GitHub repo and open anywhere I open a GitPod project, do I need to put those settings in the .yaml configuration file? How do I specify VS Code settings in a yaml file?
I also can’t find a property of workbench that allows me to hide the Editor Area by setting visible to false, in the way that I can with activityBar and statusBar. Do you know how to do this?
I cannot find the command “Toggle maximised panel”. Is that in the settings.json, like “toggle maximised panel”: 1”?
Why does VS Code say theres a command to Add Docker files but I cant find it?
Thank you very much