mirror of
https://github.com/overleaf/overleaf.git
synced 2024-11-21 20:47:08 -05:00
7f37ba737c
* Update Copybara options in preparation for open-sourcing the source editor * Move files * Update paths * Remove source-editor module and checks for its existence * Explicitly mention CM6 license in files that contain code adapted from CM6 GitOrigin-RevId: 89b7cc2b409db01ad103198ccbd1b126ab56349b
76 lines
1.8 KiB
TypeScript
76 lines
1.8 KiB
TypeScript
import {
|
|
Decoration,
|
|
DecorationSet,
|
|
EditorView,
|
|
ViewPlugin,
|
|
ViewUpdate,
|
|
WidgetType,
|
|
} from '@codemirror/view'
|
|
import browser from './browser'
|
|
|
|
class EmptyLineWidget extends WidgetType {
|
|
toDOM(view: EditorView): HTMLElement {
|
|
const element = document.createElement('span')
|
|
element.className = 'ol-cm-filler'
|
|
return element
|
|
}
|
|
|
|
eq(widget: EmptyLineWidget) {
|
|
return true
|
|
}
|
|
}
|
|
|
|
export const emptyLineFiller = () => {
|
|
if (browser.ios) {
|
|
// disable on iOS as it breaks Backspace across empty lines
|
|
// https://github.com/overleaf/internal/issues/12192
|
|
return []
|
|
}
|
|
|
|
return [
|
|
ViewPlugin.fromClass(
|
|
class {
|
|
decorations: DecorationSet
|
|
|
|
constructor(view: EditorView) {
|
|
this.decorations = this.buildDecorations(view)
|
|
}
|
|
|
|
update(update: ViewUpdate) {
|
|
if (update.docChanged || update.viewportChanged)
|
|
this.decorations = this.buildDecorations(update.view)
|
|
}
|
|
|
|
buildDecorations(view: EditorView) {
|
|
const decorations = []
|
|
const { from, to } = view.viewport
|
|
const { doc } = view.state
|
|
let pos = from
|
|
while (pos <= to) {
|
|
const line = doc.lineAt(pos)
|
|
if (line.length === 0) {
|
|
const decoration = Decoration.widget({
|
|
widget: new EmptyLineWidget(),
|
|
side: 1,
|
|
})
|
|
decorations.push(decoration.range(pos))
|
|
}
|
|
pos = line.to + 1
|
|
}
|
|
return Decoration.set(decorations)
|
|
}
|
|
},
|
|
{
|
|
decorations(value) {
|
|
return value.decorations
|
|
},
|
|
}
|
|
),
|
|
EditorView.baseTheme({
|
|
'.ol-cm-filler': {
|
|
display: 'inline-block',
|
|
width: '4px',
|
|
},
|
|
}),
|
|
]
|
|
}
|