Interface DockBand

The tools docked on one side: size is its width in pixels (its height, for the band of the top or of the bottom), root is null when it has none.

interface DockBand {
root: DockNode;
size: number;
}