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

    Interface WorkspaceFileEditDto

    interface WorkspaceFileEditDto {
        metadata?: WorkspaceEditEntryMetadataDto;
        newResource?: UriComponents;
        oldResource?: UriComponents;
        options?: FileOperationOptions;
    }
    Index

    Properties

    metadata? newResource? oldResource? options?

    Properties

    metadata?: WorkspaceEditEntryMetadataDto
    newResource?: UriComponents
    oldResource?: UriComponents
    options?: FileOperationOptions

    Settings

    Member Visibility

    On This Page

    Properties