Merge branch 'master' into clusters

2023-05-18 11:19:26 -07:00
parent 8e730cdc61 a0493a604c
commit 9c34bb4160
6 changed files with 263 additions and 147 deletions
@@ -72,6 +72,7 @@ export class BufferDecorationRenderer extends Disposable {
  private _createElement(decoration: IInternalDecoration): HTMLElement {
    const element = document.createElement('div');
    element.classList.add('xterm-decoration');
+    element.classList.toggle('xterm-decoration-top-layer', decoration?.options?.layer === 'top');
    element.style.width = `${Math.round((decoration.options.width || 1) * this._renderService.dimensions.css.cell.width)}px`;
    element.style.height = `${(decoration.options.height || 1) * this._renderService.dimensions.css.cell.height}px`;
    element.style.top = `${(decoration.marker.line - this._bufferService.buffers.active.ydisp) * this._renderService.dimensions.css.cell.height}px`;