mirror of
https://github.com/Microsoft/vscode
synced 2024-10-30 10:24:47 +00:00
💄
This commit is contained in:
parent
98bcd06d2f
commit
453746bb25
1 changed files with 5 additions and 9 deletions
|
@ -849,8 +849,8 @@ export class TreeView extends HeightMap {
|
|||
}
|
||||
|
||||
private set scrollHeight(scrollHeight: number) {
|
||||
const horizontalScrollHeight = this.horizontalScrolling ? 10 : 0;
|
||||
this.scrollableElement.setScrollDimensions({ scrollHeight: scrollHeight + horizontalScrollHeight });
|
||||
scrollHeight = scrollHeight + (this.horizontalScrolling ? 10 : 0);
|
||||
this.scrollableElement.setScrollDimensions({ scrollHeight });
|
||||
}
|
||||
|
||||
public get viewWidth(): number {
|
||||
|
@ -872,13 +872,9 @@ export class TreeView extends HeightMap {
|
|||
}
|
||||
|
||||
public set scrollTop(scrollTop: number) {
|
||||
const horizontalScrollHeight = this.horizontalScrolling ? 10 : 0;
|
||||
this.scrollableElement.setScrollDimensions({
|
||||
scrollHeight: this.getContentHeight() + horizontalScrollHeight
|
||||
});
|
||||
this.scrollableElement.setScrollPosition({
|
||||
scrollTop: scrollTop
|
||||
});
|
||||
const scrollHeight = this.getContentHeight() + (this.horizontalScrolling ? 10 : 0);
|
||||
this.scrollableElement.setScrollDimensions({ scrollHeight });
|
||||
this.scrollableElement.setScrollPosition({ scrollTop });
|
||||
}
|
||||
|
||||
public getScrollPosition(): number {
|
||||
|
|
Loading…
Reference in a new issue