Theia API Documentation v1.75.0
    Preparing search index...
    interface PluginInstallOptions {
        confirm: boolean;
        replaceExisting: boolean;
    }
    Index

    Properties

    confirm: boolean

    True for a first install; cleared for update and fix, where the user already accepted once.

    replaceExisting: boolean

    True for update and fix, where the existing root is removed before the staged download lands.