Merge from vscode e1d3dd53d17fb1529a002e4d6fb066db0a0bd385 (#6460)

* Merge from vscode e1d3dd53d17fb1529a002e4d6fb066db0a0bd385

* fix servers icon

* fix tests
This commit is contained in:
Anthony Dresser
2019-07-22 18:28:21 -07:00
committed by GitHub
parent f2afacd8b2
commit 15fc7a077a
91 changed files with 2562 additions and 972 deletions

View File

@@ -102,6 +102,22 @@ class BranchNode implements ISplitView, IDisposable {
return Math.min(...this.children.map(c => c.maximumOrthogonalSize));
}
get priority(): LayoutPriority {
if (this.children.length === 0) {
return LayoutPriority.Normal;
}
const priorities = this.children.map(c => typeof c.priority === 'undefined' ? LayoutPriority.Normal : c.priority);
if (priorities.some(p => p === LayoutPriority.High)) {
return LayoutPriority.High;
} else if (priorities.some(p => p === LayoutPriority.Low)) {
return LayoutPriority.Low;
}
return LayoutPriority.Normal;
}
get minimumOrthogonalSize(): number {
return this.splitview.minimumSize;
}