Disable extension action on setting and make setting read only when it is overridden

[meganrogge]

Testing #141320

When I toggle this setting, nothing happens. Maybe when an extension overrides the value of a setting, we should make that checkbox read only?

When I right clicked the setting, I expected to be able to disable the extension that is overriding its value. Have there been discussions about that?

[rzhao271]

I'm able to see the terminal appearance change on Windows when toggling the checkbox. Maybe it's that there's a long delay between when the setting is toggled and when the appearance changes?

An option to disable the extension would be interesting. I'd rather first work on supporting language overrides, considering how some settings can be overridden per language.