Merge branch 'master' into faster_dom

This commit is contained in:
Jörg Breitbart
2023-08-01 19:21:30 +02:00
+4 -2
View File
@@ -181,7 +181,7 @@ export class DomRenderer extends Disposable implements IRenderer {
styles +=
`@keyframes blink_box_shadow` + `_` + this._terminalClass + ` {` +
` 50% {` +
` box-shadow: none;` +
` border-bottom-style: hidden;` +
` }` +
`}`;
styles +=
@@ -218,7 +218,9 @@ export class DomRenderer extends Disposable implements IRenderer {
` box-shadow: ${this._optionsService.rawOptions.cursorWidth}px 0 0 ${colors.cursor.css} inset;` +
`}` +
`${this._terminalSelector} .${ROW_CONTAINER_CLASS} .${RowCss.CURSOR_CLASS}.${RowCss.CURSOR_STYLE_UNDERLINE_CLASS} {` +
` box-shadow: 0 -1px 0 ${colors.cursor.css} inset;` +
` border-bottom: 1px ${colors.cursor.css};` +
` border-bottom-style: solid;` +
` height: calc(100% - 1px);` +
`}`;
// Selection
styles +=