diff --git a/services/web/frontend/js/features/source-editor/extensions/ranges.ts b/services/web/frontend/js/features/source-editor/extensions/ranges.ts index c6b10abd19..7748a580c2 100644 --- a/services/web/frontend/js/features/source-editor/extensions/ranges.ts +++ b/services/web/frontend/js/features/source-editor/extensions/ranges.ts @@ -325,7 +325,6 @@ class ChangeDeletedWidget extends WidgetType { const widget = document.createElement('span') widget.classList.add('ol-cm-change') widget.classList.add('ol-cm-change-d') - widget.textContent = '[ — ]' if (this.highlightType) { widget.classList.add(`ol-cm-change-d-${this.highlightType}`) } @@ -409,24 +408,28 @@ const trackChangesTheme = EditorView.baseTheme({ }, // TODO: fix dark mode colors '&light .ol-cm-change-d': { - color: '#c5060b', - backgroundColor: '#f5beba57', + borderLeft: '2px dotted #c5060b', + marginLeft: '-1px', }, '&dark .ol-cm-change-d': { - color: '#c5060b', - backgroundColor: '#f5beba57', + borderLeft: '2px dotted #c5060b', + marginLeft: '-1px', }, '&light .ol-cm-change-d-highlight': { - backgroundColor: '#f5bebaa4', + borderLeft: '3px solid #c5060b', + marginLeft: '-2px', }, '&dark .ol-cm-change-d-highlight': { - backgroundColor: '#f5bebaa4', + borderLeft: '3px solid #c5060b', + marginLeft: '-2px', }, '&light .ol-cm-change-d-focus': { - backgroundColor: '#F5BEBA', + borderLeft: '3px solid #B83A33', + marginLeft: '-2px', }, '&dark .ol-cm-change-d-focus': { - backgroundColor: '#F5BEBA', + borderLeft: '3px solid #B83A33', + marginLeft: '-2px', }, '&light .ol-cm-change-highlight-i': { backgroundColor: '#b8dbc899',