Theia API Documentation v1.65.0
    Preparing search index...
    • Generate unique URI for a given parent which does not collide

      Parameters

      • parent: FileStat

        the FileStat of the parent

      • targetUri: URI

        the initial URI

      • isDirectory: boolean

        indicates whether the given targetUri represents a directory

      • Optionalsuffix: string

        an optional string to append to the file name, in case of collision (e.g. copy)

      Returns URI