Interface CustomEditorsExt

interface CustomEditorsExt {
    $createCustomDocument(
        resource: UriComponents,
        viewType: string,
        openContext: CustomDocumentOpenContext,
        cancellation: CancellationToken,
    ): Promise<{ editable: boolean }>;
    $disposeCustomDocument(
        resource: UriComponents,
        viewType: string,
    ): Promise<void>;
    $disposeEdits(
        resourceComponents: UriComponents,
        viewType: string,
        editIds: number[],
    ): void;
    $onMoveCustomEditor(
        handle: string,
        newResource: UriComponents,
        viewType: string,
    ): Promise<void>;
    $redo(
        resource: UriComponents,
        viewType: string,
        editId: number,
        isDirty: boolean,
    ): Promise<void>;
    $resolveWebviewEditor(
        resource: UriComponents,
        newWebviewHandle: string,
        viewType: string,
        title: string,
        position: number,
        options: WebviewPanelOptions,
        cancellation: CancellationToken,
    ): Promise<void>;
    $revert(
        resource: UriComponents,
        viewType: string,
        cancellation: CancellationToken,
    ): Promise<void>;
    $save(
        resource: UriComponents,
        viewType: string,
        cancellation: CancellationToken,
    ): Promise<void>;
    $saveAs(
        resource: UriComponents,
        viewType: string,
        targetResource: UriComponents,
        cancellation: CancellationToken,
    ): Promise<void>;
    $undo(
        resource: UriComponents,
        viewType: string,
        editId: number,
        isDirty: boolean,
    ): Promise<void>;
}