From fc581253a4cf9fb946e1a17cbadf0d68c61bf244 Mon Sep 17 00:00:00 2001 From: Anthony Dresser Date: Mon, 7 Jan 2019 12:58:00 -0800 Subject: [PATCH] Fix gap with result streaming (#3629) * handle updating item sizing when being updated * change back scrolling delay * remove unused code --- .../browser/ui/scrollableSplitview/scrollableSplitview.ts | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/src/sql/base/browser/ui/scrollableSplitview/scrollableSplitview.ts b/src/sql/base/browser/ui/scrollableSplitview/scrollableSplitview.ts index ec5b4e08ca..3bd52c6a5c 100644 --- a/src/sql/base/browser/ui/scrollableSplitview/scrollableSplitview.ts +++ b/src/sql/base/browser/ui/scrollableSplitview/scrollableSplitview.ts @@ -440,6 +440,13 @@ export class ScrollableSplitView extends HeightMap implements IDisposable { size = typeof size === 'number' ? size : item.size; size = clamp(size, item.view.minimumSize, item.view.maximumSize); item.size = size; + this.updateSize(item.view.id, size); + let top = item.top + item.size; + for (let i = index + 1; i < this.viewItems.length; i++) { + let currentItem = this.viewItems[i]; + this.updateTop(currentItem.view.id, top); + top += currentItem.size; + } this.relayout(index); }