changing pixel sizes, need to further improve pixel sizes

This commit is contained in:
Aiday Marlen Kyzy
2023-04-04 13:54:05 +02:00
parent 8a07e1dbc3
commit e7b44978da
4 changed files with 47 additions and 42 deletions

View File

@@ -37,7 +37,6 @@ export class HoverWidget extends Disposable {
consumeMouseWheelIfScrollbarIsNeeded: true
}));
this.containerDomNode.appendChild(this.scrollbar.getDomNode());
this.containerDomNode.style.zIndex = '50';
}
public onContentsChanged(): void {