function isDefaultValueSet()

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;
}