Visual Studio Code – Why does my user settings.json have greyed-out entries that say "This setting cannot be applied while a non-default profile is active"?
I have yet another baffling encounter with a developer tool. I wanted to override some VSCode Terminal settings with my own values. I decided to use the settings.json file for these 3 values: "terminal.integrated.fontFamily": "Menlo, monospace", "terminal.integrated.fontSize": 13, "terminal.integrated.fontWeight": "bold"…