make sure we update our sizes when we update the size of items (#5874)

src/sql/base/browser/ui/scrollableSplitview/scrollableSplitview.ts

@@ -509,6 +509,7 @@ export class ScrollableSplitView extends HeightMap implements IDisposable {
 			for (let i = 0; i < this.viewItems.length; i++) {
 				const item = this.viewItems[i];
 				item.size = clamp(Math.round(this.proportions[i] * size), item.view.minimumSize, item.view.maximumSize);
+				this.updateSize(item.view.id, size);
 			}
 		}
 
@@ -815,6 +816,7 @@ export class ScrollableSplitView extends HeightMap implements IDisposable {
 
 			deltaUp -= viewDelta;
 			item.size = size;
+			this.updateSize(item.view.id, size);
 			this.dirtyState = true;
 		}
 
@@ -825,6 +827,7 @@ export class ScrollableSplitView extends HeightMap implements IDisposable {
 
 			deltaDown += viewDelta;
 			item.size = size;
+			this.updateSize(item.view.id, size);
 			this.dirtyState = true;
 		}
 
@@ -842,6 +845,7 @@ export class ScrollableSplitView extends HeightMap implements IDisposable {
 
 			emptyDelta -= viewDelta;
 			item.size = size;
+			this.updateSize(item.view.id, size);
 		}
 	}