src/extensibility/Package.js
function toggleDefaultExtension(path, enabled) {
        var arr = PreferencesManager.get(PREF_EXTENSIONS_DEFAULT_DISABLED);
        if (!Array.isArray(arr)) { arr = []; }
        var io = arr.indexOf(path);
        if (enabled === true && io !== -1) {
            arr.splice(io, 1);
        } else if (enabled === false && io === -1) {
            arr.push(path);
        }
        PreferencesManager.set(PREF_EXTENSIONS_DEFAULT_DISABLED, arr);
    }
function toggleDefaultExtension(path, enabled) {
        var arr = PreferencesManager.get(PREF_EXTENSIONS_DEFAULT_DISABLED);
        if (!Array.isArray(arr)) { arr = []; }
        var io = arr.indexOf(path);
        if (enabled === true && io !== -1) {
            arr.splice(io, 1);
        } else if (enabled === false && io === -1) {
            arr.push(path);
        }
        PreferencesManager.set(PREF_EXTENSIONS_DEFAULT_DISABLED, arr);
    }
function toggleDefaultExtension ( path , enabled ) { var arr = PreferencesManager . get ( PREF_EXTENSIONS_DEFAULT_DISABLED ) ; if ( ! Array . isArray ( arr ) ) { arr = [ ] ; } var io = arr . indexOf ( path ) ; if ( enabled === true && io !== - 1 ) { arr . splice ( io , 1 ) ; } else if ( enabled === false && io === - 1 ) { arr . push ( path ) ; } PreferencesManager . set ( PREF_EXTENSIONS_DEFAULT_DISABLED , arr ) ; }
This function manages the PREF_EXTENSIONS_DEFAULT_DISABLED preference
holding an array of default extension paths that should not be loaded
on Brackets startup
This function manages the PREF_EXTENSIONS_DEFAULT_DISABLED preference holding an array of default extension paths that should not be loaded on Brackets startup