TreeChange: { actor: ActorID; from: number; fromPath: number[]; splitLevel?: number; to: number; toPath: number[]; type: Content; value?: TreeNode[]; } | { actor: ActorID; from: number; fromPath: number[]; splitLevel?: number; to: number; toPath: number[]; type: Style; value: { [
key:
string]
: string; }; } | { actor: ActorID; from: number; fromPath: number[]; splitLevel?: number; to: number; toPath: number[]; type: RemoveStyle; value?: string[]; } Type declaration
from: number
fromPath: number[]
Optional
splitLevel?: number
to: number
toPath: number[]
Optional
value?: TreeNode[]
Type declaration
from: number
fromPath: number[]
Optional
splitLevel?: number
to: number
toPath: number[]
value: {
[key: string]: string;
}
Type declaration
from: number
fromPath: number[]
Optional
splitLevel?: number
to: number
toPath: number[]
Optional
value?: string[]
TreeChange
represents the change in the tree.