pda.Edit
One change in a document’s chain, with the state it produced.
Properties
Section titled “Properties”| Property | Description |
|---|---|
changes | {path: (before, after)} for what this change moved. |
heads | The document’s heads once this change had landed. |
index | Position in the chain, oldest first. |
session | Short form of the actor that wrote it. A session, not a person. |
state | The whole document as it stood after this change. |
changes
Section titled “changes”{path: (before, after)} for what this change moved.
Paths are dotted, with list positions in brackets:
parameters.radius, components[3].ref, layers.SiN.thickness.
A subtree that appeared or vanished is one entry, with None on the
side that had nothing.
The document’s heads once this change had landed.
The merged frontier, not the change’s own hash: with two sessions editing at once, a single hash names one branch’s view, and reading there would show the other session’s work as undone.
Position in the chain, oldest first.
session
Section titled “session”Short form of the actor that wrote it. A session, not a person.
The whole document as it stood after this change.