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.

    Implements

    Index

    Constructors

    Methods

    Constructors

    Methods