in extension.js [24:36]
function isDefaultValueSet(editorConfig, settings) {
for (var i = 0; i < settings.length; i++) {
var setting = editorConfig.inspect(settings[i].name);
const dv = setting ? setting.defaultValue : null;
const gv = setting ? setting.globalValue : null;
if (gv === dv || gv === undefined) {
return true;
}
}
return false;
}