Theia API Documentation v1.75.0
    Preparing search index...

    Turns a plugin identifier into its directory name under the plugins root. Shared between backend and frontend on purpose: two independent encodings would disagree on some identifier and produce two directories for one plugin, which is what adoption exists to prevent.

    interface PluginDirectoryNaming {
        directoryName(pluginId: string): string;
    }

    Implemented by

    Index

    Methods