splitview: fix resize priority in distributeEmptySpace

joaomoreno · joaomoreno · commit 57aca202fae8 · 2019-07-16T08:39:12.000+02:00
diff --git a/src/vs/base/browser/ui/splitview/splitview.ts b/src/vs/base/browser/ui/splitview/splitview.ts
@@ -736,6 +736,16 @@ export class SplitView extends Disposable {
 		let emptyDelta = this.size - contentSize;
 
 		const indexes = range(this.viewItems.length - 1, -1);
+		const lowPriorityIndexes = indexes.filter(i => this.viewItems[i].priority === LayoutPriority.Low);
+		const highPriorityIndexes = indexes.filter(i => this.viewItems[i].priority === LayoutPriority.High);
+
+		for (const index of highPriorityIndexes) {
+			pushToStart(indexes, index);
+		}
+
+		for (const index of lowPriorityIndexes) {
+			pushToEnd(indexes, index);
+		}
 
 		if (typeof lowPriorityIndex === 'number') {
 			pushToEnd(indexes, lowPriorityIndex);
