src/extensibility/ExtensionManager.js
function removeUpdate(id) {
        var installationResult = _idsToUpdate[id];
        if (!installationResult) {
            return;
        }
        if (installationResult.localPath && !installationResult.keepFile) {
            FileSystem.getFileForPath(installationResult.localPath).unlink();
        }
        delete _idsToUpdate[id];
        exports.trigger("statusChange", id);
    }
function removeUpdate(id) {
        var installationResult = _idsToUpdate[id];
        if (!installationResult) {
            return;
        }
        if (installationResult.localPath && !installationResult.keepFile) {
            FileSystem.getFileForPath(installationResult.localPath).unlink();
        }
        delete _idsToUpdate[id];
        exports.trigger("statusChange", id);
    }
function removeUpdate ( id ) { var installationResult = _idsToUpdate [ id ] ; if ( ! installationResult ) { return ; } if ( installationResult . localPath && ! installationResult . keepFile ) { FileSystem . getFileForPath ( installationResult . localPath ) . unlink ( ) ; } delete _idsToUpdate [ id ] ; exports . trigger ( "statusChange" , id ) ; }
Removes the mark for an extension to be updated on restart. Also deletes the
downloaded package file.
@param {string} id The id of the extension for which the update is being removed
Removes the mark for an extension to be updated on restart . Also deletes the downloaded package file .