Fix gap with result streaming (#3629)

* handle updating item sizing when being updated

* change back scrolling delay

* remove unused code
This commit is contained in:
Anthony Dresser
2019-01-07 12:58:00 -08:00
committed by GitHub
parent 47c4609f23
commit fc581253a4

View File

@@ -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);
}