@sourcegraph/extensions-client-common/lib/extensions/extension.js

import { isErrorLike } from '../errors';
/** Reports whether the given extension is enabled in the settings. */
export function isExtensionEnabled(settings, extensionID) {
    return !!settings && !isErrorLike(settings) && !!settings.extensions && !!settings.extensions[extensionID];
}
/** Reports whether the given extension is mentioned (enabled or disabled) in the settings. */
export function isExtensionAdded(settings, extensionID) {
    return !!settings && !isErrorLike(settings) && !!settings.extensions && extensionID in settings.extensions;
}
/**
 * Shows a modal confirmation prompt to the user confirming whether to add an extension.
 */
export function confirmAddExtension(extensionID, extensionManifest) {
    // Either `"title" (id)` (if there is a title in the manifest) or else just `id`. It is
    // important to show the ID because it indicates who the publisher is and allows
    // disambiguation from other similarly titled extensions.
    let displayName;
    if (extensionManifest && !isErrorLike(extensionManifest) && extensionManifest.title) {
        displayName = `${JSON.stringify(extensionManifest.title)} (${extensionID})`;
    }
    else {
        displayName = extensionID;
    }
    return confirm(`Add Sourcegraph extension ${displayName}?\n\nIt can:\n- Read repositories and files you view using Sourcegraph\n- Read and change your Sourcegraph settings`);
}
//# sourceMappingURL=extension.js.map