Theia API Documentation v1.71.0
    Preparing search index...
    • Returns the repo-relative path of the given URI, stripping the rootUri prefix. Falls back to the full path if rootUri is unavailable or doesn't match.

      Parameters

      • uri: string
      • rootUri: undefined | string

      Returns string