Fix #157301. Fix process explorer scrolling (#157305)

This commit is contained in:
Peng Lyu 2022-08-05 11:48:01 -07:00 committed by GitHub
parent 46b6f3eb64
commit 0f9323e411
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 20 additions and 0 deletions

View file

@ -84,3 +84,15 @@ body {
padding-left: 20px;
white-space: nowrap;
}
.monaco-scrollable-element .scrollbar > .slider {
background: #64646457 !important;
}
.monaco-scrollable-element .scrollbar > .slider:hover {
background: highlight !important;
}
.monaco-scrollable-element .scrollbar > .slider.active {
background: highlight !important;
}

View file

@ -257,6 +257,7 @@ class ProcessExplorer {
await this.createProcessTree(processRoots);
} else {
this.tree.setInput({ processes: { processRoots } });
this.tree.layout(window.innerHeight, window.innerWidth);
}
this.requestProcessList(0);
@ -342,6 +343,13 @@ class ProcessExplorer {
this.showContextMenu(e.element, true);
}
});
container.style.height = `${window.innerHeight}px`;
window.addEventListener('resize', () => {
container.style.height = `${window.innerHeight}px`;
this.tree?.layout(window.innerHeight, window.innerWidth);
});
}
private isDebuggable(cmd: string): boolean {