Interface TextEditorsExt

interface TextEditorsExt {
    $acceptEditorPositionData(data: TextEditorPositionData): void;
    $acceptEditorPropertiesChanged(
        id: string,
        props: EditorChangedPropertiesData,
    ): void;
}